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  $ < ]/ SIFPL:threads=4elapsed=39.093cpu=116.372gc=3.844factor=2.987zXZִF! 2]ŗXf[&N} wI>>n.|VLڿu@jq\\_ HҚVWu@F QF0ǧ./OG϶Γ:*<>?kp@le"6"tj {Z_%j#k3&| s򄋎PΗ֢ &B~ro2o5sg.4:Q)(:jf%5-NN)9GpLU܀Fa|" MQ8=kј=My* ;8mDw%lN[>Ui%mnWK -N *V1/jo$0FxW/zBeq i JW<M(ҡ=I[lGfz1w eA#0 3BKTG kDLUf5ШfytDIښ6R4T,I>9uεw[Uu38!=`BZ7l&GMyT0tlΎ-S>gE%f#X >džw@(T%/@~ÌD!;Qf*tRn9|hըTêZqr*NHkcG'Ť[Adi{*HY9Oɖ|Ue5pӒ\>єW l:^hXO!nr'DLE*>b .ɄC.ҋSPhbQ}՞"AKK)_[ZEzVMOgY:δׇgsn脼,ʭ3\Ns"E.y:"o(_wm1.Q6mN'͑Ґ"#i (/uZ [D6a,}4R t-p*ny*)Hq^d9l"B:^5Y{ŨR::?JטX p[V|@,}毜w'KK?YPWMxzS-uipWZ5P6}誜ILGVR8hm"mV-zPq?2?V7|GH   SIFPL  HA"K@e -}K/ZXsRUb)zɪcꠓf筠iOZeZYn Ի|ExObQYPCDZ_5ӑğ>?e oh_o2y9IYq~gb79\^tq94PٔyIscٮ Xg`6ԧ˕@!7 Z0WA?.F|#TO^ڋw4I_2Y[}۱]59 XF= LV3#hA .x얞ډߣradK7цCJ`p>P"dDGo&@)k>Ub${m2Dqу X:P?_0HRK&lUqNe.U愞eL>hwk-OYr=Tg*K<ԿWkB>]9{b|'%qz(k9]=H.&5$Ƚj h wv-6 'W3yW729̵{2ML櫻!͞?kD '0:F仺"N7¬$z6 LV7"t^E햍3]Sl+4FkV.B%nji91U l? :Aћ<_FڧNgYYYQ_c'jFbZ %7\N1DZ8W*ru;uι fʆ9̇ /͑" OUH!oJYi@&"㝦AV;p_ԱNkfocek{x'E**Ur9fi̩pF(EU4Eof2g|9Yl2Ow*cf2F5SD2FaVBI/}6ψ,|#42GԷO$I- p} &@3峗qddBz# "0$Zla_n6kYPRנqp*w<߹lG\D!B&6]?6{PfrEcߪ!DHˠׯm9u5/Ʊ wf=1s!'GUْ0lvtfp?z(Z/]UY;cבs/,]S^Y5٨bc`f|V&a]B|fjLV0%̏'`=s=PpՅ*SE(+s~Dj`_oP:t*i^s}$rT&!ݮRm /I[u%B )SgR AO* H8jR "#B.:/~ܘ?I& 8®V|K n1F T(?11bO|&n>MAMU&ԉ`~nD?>X`4YxgsKrHk^ Ўǵrauq;N4<,,ZŪ_N Iwp1k^-e S#㿔<؉jQG)]NXJLU!e 4}!NCۮ[#:Ėe@Hd<}96[&<ђx(k|POlblР?4>2i:r)&&h5>B9 E$R¿jWͤ'DI+э!DSs(YȺsMݫc0"/s̪xf1o{F?AIn(`G7\BhXb?GUK.Au+YMp azxz8]R?no,BtU psLz3%Utݬ㘃ΰʨD R1$6 45 [}_?/h0?kSp{FcQc-Z%%>"Ee%z\n~$J5%[ 2,DDFc(:yT![֧&}C]V,;@ n 2F1Zt>> ŲyD O]Qn"$ŗ_k\S L,ђkZ9zP8am>أE$%|fɻ~gfm^ @1YoU[2aEP +42 !Q{H]Tv[tNEAlvDf ,')ZmiҘq7Ucxtq·DS&eU_VʝZTFsyz;?3osܼy7i[ꙛ;P