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 b1 t| ]S HOL-Probability-ex:threads=2elapsed=38.040cpu=46.548gc=1.488factor=1.227zXZִF! ]ŗXf1-q恈͐7ӺV ;Dg[ o83LͯJö_!s[jQƼ=zU8Cgev_a^?ii;T1ٺ!V;7|j)'d_*;΄tOg#F>5}7IzCj^zx dR\K7"'ﻙG9@j KF8 F?A.Ԥk+';v vJ$wTÒ!gTW4LQ(9j[C*s] 2C3gZ(Cp[pˀ1s. LzO n,86BjsG6ؘgsk[po߂ p[+0\C 6eYEƓvIY`) rCFUYIӅ"P}#$}ҭ&yˊ<1ƺHjnK$ԚuQx)>ԮIfPOXYkM4W\`0;\$alSm -@&V&1jv^%QS{2%T\T a4Z$eJ>[K.0{랸e* 4 l[ͽ=$7SE|fq'W7xL9T .an]B-!Hv-2W:*`NpTYcO|}c}"0a/(_gظ*;2y4Y-#C!O<%UW:5YDrёGW)]}J''rjp 2ѧD/YUC35v 2ð cғrEEP Z]utkeCBL4_Kk<(=}WaD^+]T=.X'6 ~@Ϯ/[152!V;T w)ƚ`nՍjdgBS@p'W>RP!!g]P j|R]ZO!=^g 8 cgjHRIܪ$*H2EǪJߐst$-D/[9%KRVQèXT79rGzz.'}}aN9%~) Uw{#OzFBiVއݜ fٺ3f{MhMgn'b=39b (ѳtKww{zևJ+ukLnGF)D/'lMdk#حtf*C.ftm蓀: S>?+ ,Ţ ]ȹ鈭CuH7t%>-AsgŊcMݮs3 r6=F= hn7'gp^$-֟Joe^+ִHg\Fx^&3t