SQLite format 3@ . BBh77otableisabelle_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 gg% t, ]/ FOL_Harrison:threads=2elapsed=11.567cpu=18.756gc=0.580factor=1.627zXZִF! s]ŗXf1-q恈͐7ӺV #`91knTyڧ?"}ËSU{0(7E4P-}akce){zvGW`u5].9;ӳi,"n~Sw] 1}Y.zeIGYɒ?KsIR;YjqhJ89u3}Ut6nTz_42?`@.=~-I}H7(:8j +(Ѻ@"\=Dj!YL¢t^XMLD zmmz<.1+PoboAKJ[:2-w$[.UQc1aiU2nBsz*gYZ7zXZִF! z]ŗXiɟ1˦r 5IfK",t2Hy`(S1e`~Q-~{li= bVQ'6_*ʹ| ]Mz\W;XZ@ HgYZ7zXZִF! ?0 ]ŗXi%9#qwlS=w\~PkpV ^'{xa_7$3[g"f'BdCsl!t{5jSwW봌xu hC'??Sӈ/y3lH @rCeJX-7"Chnl΅'MͧZZw8S~IŹ8C,9/+GpH',4m$5fdl-k 7L՗/;-.mP,Kh[to^8Vԫ!Zbd>I` we9M[٥Si?l᫕_GPg]=(g&?=. 2Ň:#f aTZl/?G챷AVWLdɞSViP."q߹aEWSe##*&b*ܺ#e߀`M ?mY@0 `xǾ\H[Epy.ѤwNht+M=Ԃ*ঠܶf̏5#Qh;$g$kXaFƑ]i'ݪ {hgY$ ա-Ț|7P [}W6ː$?!:gd~N+aU ;?8J ar`ӎQ E>v*U$gw_S1Ns-_ݡ\kUj}x|v*s