SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 $, I HOL-ZF:threads=2elapsed=3.829cpu=7.440gc=0.204factor=1.947zXZִF!   HOL-ZF  ]ŗXf1-q恉 :NCG 8vۗ?xWfkq6gKac=g ZQ0T!>Dv2WI5iܘK?kUI's8bνHqSe#Viq\wvVm 7w-'j.xdIX D5-?h*n G9>}PPp ģ9 m % G%xekS3V< K5^%`ᘚ*IëxuiX׊-JJ:V5aQn؍԰ijSg(Bu{2/MTn-<3_Btk2؅UO xS|s#b:UnNl2^Gz#%EPk=EY}9š?1c&Q)a_wϑ';hс<E[=| F=(Qˆ(tt/et@GG<=Dxi"*1Qu6@q_:xgYZ7zXZִF! ]ŗXi%JuV'G,nPnb z2؛'@ +J![\ Z.j4Km9%HjY7cjGذ\e2Y@j?@XGMIZ Q®Փ,d>xHyb)NŸN8,Ɩr> r'ùw -7Xa\tEփY y/f5; =krzű!V؂S\VV#c:$}l>f`_p2M_Sp$%I{#qd̺^e#NTax p. DKv_y72 (Qo]|֫ ',4:c  ؾmEk*9T)w׫/5.szS1 c;A& K#іQ% 0) p5-7/eׂoXyl{ߪ5(uvCwӅ{)DSfI/Xۨ0dZpYޛkuoc#99S^cD%!M1Sٗ{HsFܬD{DznpZ6kG9CdX+di6~9%Hy셇8ώ}gYZ3c14dc53146f8cdabe471ef4b5c6c52f622bedc1 86fd7da255e0657d15e775a7170bdc58487beed1 91070ca2ed75fa7a551feb0ab60472c9827b89ed b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 d4ce4d0c7f1396605d8e07780c2e270a04a0d28f f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71f30107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 9eb5094ea5c56f5f0e417fb357591e3e8425b5d9