SQLite format 3@ .;  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   q1 \ ] HOL-Imperative_HOL:threads=6elapsed=35.309cpu=82.604gc=2.768factor=2.347zXZִF! .]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFøm7ӑ8›*ؿF=اVT5_O.7he "Ÿ /6;F􄅈m 2px #Vu ݅E"%lWE_觇7;0TZ^㼮 )"Uh偧@H0zƤ5D.ή3L#ӭrX,!rm{/H[m6;@~:aviR#50k.=мqux.ճ"玼W.Gﶝ,5ץ+~烈a;8P\fM܊<ŒehS?LW=!A>=NF ؋z+]Gu8BGqҁi,:*wZ?9y lף69g=~Lscⶌ &ɔJ2^[F f {v(4%wlg:<\R9 b*7MN KCvV= Xv (?:~T:Z G9G Ϝt0B ۯr's}`Y'T8nC3)JNuAL2hD~X4€A&L@U^sڞKhqv0߁j>Tlpdc*n3Q8U)3T۳B ~3aj哛*0C9M+qå!c4#Q'{`f ](gYZ7zXZִF! A]ŗXiɟ1nhЦx"n_8N]( eOtd9:gPmb%!k0ioh бfr)wYaȑY;s{VDŽH̽eC=3X)3"C9ϸpp6rZ!̞Wb> F p)k HwZg/ g3tsz4\-A%CW9^cnY-YF_CX j4?NƉH99";ӹ'"cۧ=nճ _c)I'Zޑe .zQ% RmImo(!߉Yu,z_)˜iH\XARP~-IU/Uy: rxDNeF ^{IiL:ko0zWh_#Et6qңʶb\CH/ۢ3*f$0J_]ժ됔E4σ? =Rf`.3|*ÇHY挐R752sE u~qيGGӪf3iCt  [.Hb״o9[qL]"_ 6b[+(o +6GBBnAvF;fs?hWżNG]&mm e{י@*<ᛖP7j伉A,}>+Nj< &m/,+.3ޓug  A8G$zbq2_tYΨ,އ, EeSrH>{\xe,ONO$fw"ߑi0ki>&Z \$F9>=094ZPΦI@NRsua't%\bM.oҴA2A4/%l$W5##G~m#(wk!6kK8 f|o9\ߵD&gӦ03T:٣$Ӈa*,۱Arf(@ 3ea*0H|ɕP\jXl>0Ep:mEX:;N){:(٥`EK[aG jlRt`Bgmmኀbb< 6-B̦6(-ZzvvS'V_t~ʏYzmOc ihߵ ٞ0-(a +\ SĀvw a%1 [@VGQ)v[1)KO|$"+0ݰ l]?QT5r`=' wM!l_mC NGÏ`cSne&oz/PdC fuKpIAo0Djّ@rr* 9~b\?F}F!+ ͱ^l8nsШs(OX |7GF9י\GPwuY#n׻}ǽ g%o}űy*M@qR7/lD C 0YrqV W./?>s){vlQSn` NS [s$9'rzliGDZ`.:hTgA9S}W0X4o-1mP2p$.!\Z4fg##PGk_,!]vن&5rY+!xM໎bۮ!#2e͘FJY|hZ줟fH)}v7~?~j+Κ0ua6Fm/9 H9+L~jضq[ɠn$ek"E!|C֠An 8r,-jh-^g/Ƃe \o+_>[kSPϜ3U|qpVg&yT9F;:s`.\RMIvXt BUAWL!q܊+֚6x K^x/$S㯘1h̷}ױN&CC|ۈٟgrF;t1|iO^lOv/#ֱD>~L G(=pPwN}gYZ90d490e6b420e27f63a44412fc93d505a103e9be5248afc86b05a1ac2f695003788f35082c9fc933 f1ca51ccd42b5a485854d78f2467698d231bd356 39fdd67748314a5f3623ade681f853796ccafdf4