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 N d|L ]]]ZF:threads=6elapsed=12.795cpu=45.336gc=3.452factor=3.547zXZִF! i]ŗXf1-) enȈA$jB80l,v8-qFN}YeG_ckp{j:!8)ѻmsY{Qhׁi=f"Β  2>oP%Bp;vVse 3o!e|0VIre܎ةF3 9Cua6J\qm,!xxQ:Im'NSFHZ.(<>d9]Ɖe溲r󨡪8+(=ooLj]Z"ORp8\we/>v}sҜQ)F`ř^C+ .@Zߏ98PH5v[W5ʎb zBF[/&c/[=ȠHQ}q]?77ztiieϲ|xynot'(J6?A{WB ؓiJ#&HN$JP*h4k.'-xͰO\~Z"aAi?pm.0W9b~-RQXϵ>.߁A i`"}ogYZ7zXZִF! 6]ŗXiɟ 1FE`穱 v~`Njw9busx6 5RY< 1ZR,FLK/Y&͔9*"P5W?21BN.ChUYEXCJwL1ѩX aex)6zdB?(M1 'd놃6=i #Ö|Տ#vc{HkDN6zFW&9{˸HAM0,8d;q$ȜyF\3?RKydK3d9o 8hPoۄXy.hw_EDr$ ca^՟ J.fϠǚݞ&oD7 .")6M@s/Maݸr $fBJP{t gYZ7zXZִF! >]ŗXi%@hNN?4G6FA (cYV|hp0bM àZd{ jP'Ddg3MXzDw8]U pZ9-46+0/7|; =)}D0`y3c,??x_w*Up4\a:H "&cl t 87 Ze9SٱkGTqv0Ꝍ%Vr:KrP~/Q7 )oiÂKՈI(;Mg̎gv -fwCX+mB7+K%0o2x``N_' B6Wc -'M ™5 mV/x Oyp$vü/14&KGi`S,襽.?2\mwO+lhwZ\[-{G]eJ@kVxt!-U6lG\uO\.8HwC;`hϝd );?vda>yE;uX͛M*㯸ʯ=fdVw#M|:H}ˆ8$#OYӖ#8^x)ϡL0|o9F.8ƽ1ƍkP3=~}m3B-99ao=DFJi&sQ/Fgїi#Cҙ}Ntx&`1OGUB jE. LQ<|mKrwyj":gO ; *$ }dTs kÜd,qHjjHb6N8N{NJEٲ `wWo Uttx{Oznj "kڅ؞90[7>'.9ނѳs`AEUM*M;Dz ڄ>=?FWA.iLK$q`sbnEnOh.cʺDGtw_Wo" ʘJ\(]-{giB뮟 mIM{N5"C>k+-Hm4p*ZDߝrCt9,ݛqRlہR)3MtE_ *qS >{@-H36+& }6gYZf671c6ba1e2009780f5282610b87da0b12027439fa50210ddf8b9b3fedb0ce42921cb5ad72fecc9a38b38500c7f7283765add57167a67faae3612be7  ZF