SQLite format 3 @ -
l l B77#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]7 indexsqlite_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.xdIXD5-?h*n
G9>}PPp ģ9 m
%
G%xekS3V< K5^%`ᘚ*IëxuiX-JJ:V5aQn؍ijSg(Bu{2/MTn-<3_Btk2UO
xS|s#b:UnNl2^Gz#%EPk=EY}9š?1c&Q)a_wϑ';hс<E[=|
F=(Qˆ(tt/et@GG<=Dxi"*1Qu 6@q_ : xg YZ7zXZ ִF ! ] ŗXi%JuV'G,nPn b z2؛'@+J![ \Z.j4Km9%HjY7cjGذ\e2Y@j?@XGMIZ Q®Փ,d> xHyb)NN8,Ɩr> r'ùw-7Xa\tEփY y/f5;=krzű !VS\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{DznpZ 6kG9CdX+di6~9 %H y셇 8 ώ}g YZ3c14dc53146f8cdabe471ef4b5c6c52f622bedc1 86fd7da255e0657d15e775a7170bdc58487beed1 91070ca2ed75fa7a551feb0ab60472c9827b89ed b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 d4ce4d0c7f1396605d8e07780c2e270a04a0d28f f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71f30107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 9eb5094ea5c56f5f0e417fb357591e3e8425b5d9