SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  z ,< ]/ Heard_Of:threads=4elapsed=25.105cpu=73.868gc=2.008factor=2.947zXZִF! %]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l 'w63?|NS舨wcA?h<S'jvu{yKU1 3;v AHYq{AnTn +Z$ɾ1M-Of%Ȳ+!m>Ɯ D ȠA|ÿ= 싯X,Pew7ם6zB/Q}߾:1v?\5|#:u /3@ܕG9Zo5akPTn `9O.⃂n2t-Yp5.t +|`^^sbKWU/   Heard_Of  EI*ztA8G-v;) ʪQq&KæNEt;4č>rv \NDXd|Ve-G+&;fN ѓP-6~1VEyk*tSl3,_0`? BV,Nsj|>|;׌M(3&\_oMKЁƭ`z2卙{Ia'(9J~xbo͊NƛVslRo}xNg6'n0r Y@yֺ's՛py&݁=.G:@$j?A\IXanҖlͷ'bǡx5%+GXdtC"l=UVvsg i{B|4ۧڹ/˪D.2^_ qCkB2q LN+ ڬ1+9 DՆaylP3Ջ;?I\McŽl #X~+vlV(,'26sY<{UE!F&yMf^(UMN˨Z*yNT }WJ0v? {{  Y/cHu2Nɩc.zlZ@qԐj5H؈9O*&[.(g3.6 dx˹nBZ,'KWJ9`NCEtDIB,/N.% U4>=2Nub֤{s@zLj9Fi;t2 KޱgYZ7zXZִF! ]ŗXiɟ T50d.~En.yWM͓4QiAn2LI'6Rk(Y֌a*/:y !tUXtN8|93lב#4Zvt!4s #P?.,$׭Zv?,S:K?' <^1iښ ~:X0 pW(}Q@_DY -?J^t_&d椡W9eF#{1 )& ?ĩ`Q|J<rݗ,݀b54Mgx(#Р RlnXؖAbJaJ`)Tq ִH)oj91w}>㵘iўБF@цw)6o!>pTa~<5zL6}c_tݛ6;F|K}&?9KEbz ERO2**ggi}~CͭJE` J75 pB:84k*,4Nt. @v"B,v+FĚXte@Ȁs Q0x5:qEPP>6[rlј 3TIx c˸5+8UWlů}cgYmjw7h-CD#Έ}A^KMzw-y-ф̃,*y&:g*Y7=Q!N.jiB2B Hj|fksN:]O_ =#烩9zXF׆ñUo¸%40%>:ٻM^9).fa_e(a0c`+1 7]R?SPxhx,xȐ|/sS3gddᛂ7 I9|Zlefl,K]}AŽA.+ꖳ^)lS5<ʫfM|"8 -cMp6J۾PԖq:>wCC㍠w$ (D!VClm~2s݅8 oU6r\C3~NAUjR]t3@E휰ayܠjdhN&{;V'!{Cy4iHNQ^ &eL`%$7)iZj!ѹH Fӻ@ }H"D#4vhN~ҵ+lZ3 И0Klu=EFcx¾#%~4Q;sEqADH}nzd.Jd"8+Ir XIEKS 0pJ=>yf!}R \;W6A% `.mt@圵b9`mjS޸2!8gI06ٶnT1_}1h@䣊ҏ~xqmǯrǸoȲͯK]¬F{캪ߡz!:P"!1>/@uvr|VLfJ]2YߍRx.zt\~Bn9J,!CA,78"5l1!-A Dzc557D5Dd Dme)5. ɑ녋X,CoɃ* 6ιG2}i+gL1w@(-/Z޿2bLFȴ qFTg Bi[]_2p~Գ\/=Y均)/#{CN6b}IME6ݴ2(-0-AL D۲ѷ-9Rcc9o39%#&nɷB|Ѓ djq<Ӏ%Zk_٠֒q_(I"Xj/*S"_4~X#^]RKwx)Ro5?NM}JR2F,Dhb|.qυ,6WJ_DogYZdab9068bfeebbd659cd9912a0f7f63e5477fcc88ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe