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 S+ T$ % Secondary_Sylow:threads=2elapsed=6.584cpu=10.280gc=0.360factor=1.567zXZִF! Q]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃3 /`_NƘFv ^qV&!m/eKWOh? !w,vn[wsqi-$/JY=vfWiƀ7z9a$5Xnfa3f/ɕ_PWNq>/u0cf;*%8ӏ] K欍 y6_6 66  EC83B/J|L6n>e c*s!UCeg+jc\G)("A x2#XVxQ(3otQY yVxn |i`.޲7(B̃n$ 9#hX^fNjZ}[0l2!^/$NF%?Mx:Ģ8&= A$;GIDʥewR[P$螂 _Oynk;K~.~Ћlr ׍$,}r?X,츕X`pj|`ìXJC|<ģ~B>*k?5(Tmp8ڙPbܕ~{LԾ4+w1@DW;UHZrnO1 Dwn^ XÂ9Gz\ %ջHaD*z׷] Ҕ .o@?ތxsOq>3ܚuIiUGxͦ(p[C)AFW) G#|әXNYjM\qzr 0Nؼ"F}DX+);hxj3@ٮ$G38t';܀g;EX&M+DzR+A4/Kt.+̇eN!a6ӊfql( ҋ)D~HOfrvwµ AibLr ƣkFgYZ7zXZִF! * ]ŗXi%Hf}S3^@Fe.th\J&#/l v4'I eգxC6eqc{0JzbUz(͒77Y;WdfՌ6GBo dАr7T0 0H El39^ѭ"\\O׿+ VV }5 ޜ7:J'EPMe }eNXDxyz"$aiUr (*kiMgl0vۜCKRF:{^{[ =#|#h,O(3 ؄kRz*zз.&뤽]^9^a],|wQ>sqQ#O0,mK'5{em }Qu`$* gԽܥ*잎,BWJcׄlj#0%_3GmW,a}F\+}N  i]!r\w\Xb, +w]^'DZ/[KL'G9M$b"['Y_~^z;sai ƖJ_%#,Hc`RcIBYlnၐ|FKLxHv(VPZ媡-kRI+@@ͯkLU_*َ@g4w}4ggA^߶XTkgYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 9016e70736eb12e7f8e98edb02ac889909110f14 c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f08c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 c329537f2338737215b0b9c870b75eecbe1c5de3