SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info p%\$ ] MSO_Examples:threads=2elapsed=73.606cpu=138.616gc=4.340factor=1.887zXZִF! %]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqyXOK&>ظ:kT>Gy2"u6rba{DtIH9'虑}Yr"ENGE藙!y026ER3Gkf i}&Eb <_ä+-b܁5 dtֶ)49bwſv_P8c2Q 7X!z&El3s?fͅ$`V?[Vf)gYZ7zXZִF! {]ŗXiɟ % MSO_Examples  1˦r*E$<Ћ *Έ'&`C˺.3vE×r{4'/q!f/1, Y?YYoc`t +㝴Fی4ɱgYZ7zXZִF! [I]ŗXi%>gFLmP62Bːtz02]is99 I ꕕOԒ8hʞ]u~TjIZ5TԛCzxׁgC/Ӂ56{bOdY6]/}ҫaM0 RX& #';[)vvazI4S 76^W0;?WĄ| ` a.\|E}Zq A@$JoTY!_f qnRPDdQP02W~q?`(Ot 7y@GZW\Pj$wOU+s9j:cAe`++[{*㊸gA|R< >L9ީB^D!\znD `.Aq%ϣjrĞWr~ q}8g͈8$0e H;<͏)U1Jk\OCAjFdC4yOÓ}% -j@'6"_/]$ѥPT#ZMbrsKr`0U<~y,#Tpww:|uh+8F /D[R/r{q{5c66(+1+Ӑk5J,HLs+UQ֍LgΑg4 AGuAir^]p\8ԗRƜ)P/,=Eh\2ꈂepvi#:"n"k4Wo35*W1ܚ-V>,B.)bמJ`{M+J_RjDBIیx+,zjV+ Cԓd M:@Mi[4%y-P&Sk|;tnh?8Ҡr-KGr Jmv`yO35# "q}\kvy#R3?a%Ý`FF/ ԯC?bJ 1)#e#fi/ Rڤ L 8N#ZxYU/KU`uFٜ:O}Ўe+}mn`sy|e<5a%sF ^ -- fFFiN|͌ պQ4iÿͭ5k,,-Xik} ~9TZae? 2kc0 9_ HDEdp;(k%Y4LpaFdA- 7c}wKGE9Xw?ͺJy=MH1zTej)ϪYN"FZB[xP3޼f[=9lFá@.]ޮ[ޟIRTNd~ \H|A4gǚj`#'ݱl i($*V~-h TzF;@۰rQKg.Y*;r$#Wٝ*CِzpWN80 =aPrYd(&`;{)z#nH*84}'Fo q_hG*޺%&@}nj_S_}= +&D==%PÕnpAӛ) !U{ML,*|eq]آ[?RlB^_{ j W.H-bͭ+B4cDP9:=n3:B.i1gt|NDXkLBZ}QQX Qz3xWC]@}ΊpM/Gն{|('J[| L,ɃtV}с4n 9e۲N͞ ?v:f{; iG1Ǒz atFk/0ק{:iuwԲH[aE>sbɜg<+݋;YW- VIʾ1*71Sܴn/D@'ZXپ\n5B#mO`y\!Tt!Vqj` uBDN/d NT@tSO{j͚W|v%/f$x9F^;eF:;4vV@˛ۈ< )>7b* NF|Мxp <_髕c55yMVV`cJ79D,inq2<%+ǡ`>CacRպ,'W;"۱8>[5)jb |łi^#v_^O^/$Jy.(rivYq5B|$O 3XWB/@b{P?鵒 éFrwZ&_5xB|L:1ɷoZWn4E-wx.jz!΍@L+"wC<)S٬ؤizЈE}0r4|4Sh+ ,Ix^e *ClJg$ϒ(=\Xb"1d.z'Gn՛ѻY?a h*͚)IHتFMUཤ5V)Zʶ 41gYZ630e7bf2c473282879d1ae6c6a27bd004b00842a767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 dc83ad5fb0f85938425099547d7b4ba52c730335