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 s 4L ] Tycon:threads=4elapsed=6.070cpu=17.548gc=0.264factor=2.897zXZִF! g]ŗXf[&~=BVT.E>8-*O-E9ȔD5!?{bY,ZM(*Jw L"k`h.>[Rv< 'AG(ۓPv&iLO؈xáS ~ d9w#spkp&]DơhpL 2z]2=0.%b9;rnGoraDLښL1V=\Z#,^+Ľ*uܒBT9#"$Bw8oc- ɾ@ZfQN*SekHyIK ]?l$Qxn#I.coɈ:y0!Ns[o`oSݩgYZ7zXZִF! F]ŗXiɟyڳεĬYpa<+|Yamar`kFQL[Y,t^#pC1i $JWi8gbjrS2rЩSm.P]i!>_Ek% goo#:#X6x`u'YFhnj}\7|ώc P̚] op'1ROi5NgmlUg1bف@H-"=5T"{U)y煄Jn!nрmDp"|3m.OU<` 01v;P)z: SAgYZ7zXZִF! : ]ŗXi%B۾2iOZMSڀG_`qEn5 HzoQĬn#QcIMO*YtZc7cq -l ȟ#tuk8KD݌o]E:#w+xjތyV7x,E BeRfҰamF3S#}{o~p-0[|"~<˟m^ ^42fQc Fbh&}e 52xYS-&yL˫01l%޵(w&xBCH,D}t489u]?[UzϒDجL2ҼWbP qv3v)6$5qa=>1P4̄X?ia:j"[!z<\v Q|z~d;H^g|Uqf}LHY,Yj4gSmfhWw28} XkXuľ2ņs$/p&c!OJr*[^g04c~1CR^ 22zw#P(?Q+upԭ2cLUঅIzUFbYT%= җI8*J&_Y)t&.t M|Ш+yn$Gx:PԂPUʓpsYav7 į,qM׋Z(=89opKSkm9IkSf!Cgd*zz13d,f!Nß(A_vU%a:)zN7.9v}}g0 /sgsӖN) P*xkx%A7"(h8)Qח)#.oYb}5\;c"+}j(r>&׊i_KwL[K1g,aqsC0qd1$8OCt_RphV- ҃Xw۳>w鱷L5- S0ve͵f 4sT뵓P[uIAN}wd(0|mDKE L#Gl I{l&w tNbgYZ6b1cad25b7f1e8f77efaa76b8a8f945634c0f63b76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 63cec139519c70fe290e4085ae41a9e937cfa8e2  Tycon