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 n Dl\ ] ZF-UNITY:threads=6elapsed=6.069cpu=32.612gc=1.344factor=5.377zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b C{|cEx"{s4]{9RdF3|.Y͝!"F91!i됋DBObO&&E'].P}F*H2"TP d@-J>T6'P!J9.&on%2mgz *z (SG;bd:W,\Ff4\>Gd~ k&Y)Idj..})bJrc\<7_rv&א7P2|~w!:A sV|\^ۦϳ_ۑSG$XPvLC6. LZkeW1&BhR ˩;KS&];tVAoG#kx e!0t_Tљz.it?\/EB; ! ͹PznF0_?L!z]}*Bf)ʱgYZ7zXZִF! hn]ŗXiɟ9 i:4V;}A<<ګMP7$.ZDz(W RN$$SΜ17ưp}Nu'6펄H'g.IlSQI}w`[^&rW<=Xa\Ujx^/>vI:lSq=6.c=BdhrPǿ9RI0ٷ0.<}7]; &iMhͬÆ\i][$"N`o@taV~0g7ʑƌhԽZkbyOA*Ə_5  9 B=k 6  ,^6ȳEj$>@  >gYZ7zXZִF! $c(]ŗXi%B YSzRPSS>z~*V,_]l+~z7d-yA:~'D 0<ꠀ.BT˙[$|y-*^\z=k0PvTT/&7}])zȚ9g8NNaq]e"Pv-P7|J'襦ej5xt-*j@O ШNRrG)Pj5ۏ~$fK\:rA(q$," {bA#1g%1  x^ &*oÌ5,H@ dVƇTS?֎kga>hRΝ¬OFne)/~d?gT'|F@y'jK&zjF227AWsN[,I6!#A^Kȍa$.-?(p7fyл%wO$Br')U8Dپx 4`>e]ݯ$P%ҙ7CR ^=~ "8!ٶr߄G #GAg)MBj-tuS-ZyrefL0 4H\Kj6/ br=Absݱf(.^o'&:`oD≞W=-$y^_MSzbVY05Rk"߲fr>k6quP$>y$h̭v\%l2eܬ7QIӅ E cT떽9AV4B=Ae_QF~dH٪![)OEg?0۬tZDd]E')gE}=h`#3{ݙ OR)CH^gYZ7b58de8ebc594ef425388592b978881170f2f0e8b98e21abac34c1a5ad8cd46d87921a4b76a51201 1ef4df188922e0e35b43ca1c449b278f2086bf87 b3b65a19b473e8aa2fc6c6bc0cca7cc6fe0d72c7   ZF-UNITY