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 -9 lD c/ Card_Number_Partitions:threads=2elapsed=14.350cpu=27.588gc=1.056factor=1.927zXZִF! .]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-IxV!:<@[LQ./1Ż{FKQ}Vr Y nyMYZ^`GHîrOƞT#l/~ l>unDnQ`ۋg݀'5+KCn:l )ez@~9Qگ3$hh >=H55܀!;6uD^E~U>V& Xm,-ߏoRu_d0\ozj?C;ÇH7P|UBݳ =20}sm13O:":E8O(WHC^5ZQJ X^}PSE.0نh$n8nzNgC+=y WiT:ڈۇnm?mTn>On"'8z/]3ˆc&"1˙姽XvU 5qb? 2ĉ..H{MpqGpUI,2`Hs,{P .QaISiu@Yf0Ag2-SiИ:Lλ$Q=̈́8 <2|h6@v]3E{(!<4(32dy 9 Card_Number_Partitions7_h{gxf U<3]w2 'Twr)&B~ZvSuxet<>}@BVe`]-p09X8,79س½ܤ6]2qsn5T$/eΥt2,1=BxUEYTr yeqIܼ;rlb1q)o$;Y %L>xkFv/gjSeP7 oj\E{sK[r}Z; ~:\8BSUE RqUw~3X0܁џ#q.\KM>N#QnȰǩ̻ 3O?f&Se8>FS+@uΤG谅{!@Տ/7^.hX3}@$  4EyZd"f X4}qĎ`1IZz|$@φbJ.g2= fAٻj*Sr73<" f5BW4ښ^V^3FUD[xGc1Sܼ}Ȼ͛?bk'*qvLAF6}M'3V\5*F6S?bRdBHUoI|DVCٕ.s?Q2sG\M-HQL{yfbQu9 5 }7=g^۲v9 %!Bto0j"vSIJ%'>~J-ߛgm6@ݛ%i!#YWյt]Gn|;hSyBZՎDgE]$v|J+wOՈ ۶։BQ{DH:h8~}ƶ-H)ˁ_?MϏ4Mk¹r 2rᓓߩrlWsw^Ѱ'q w| 2=a*J^}h(=XbVM\ZQZN1F6/p țC պmQ Zi?j:K[)!{[Oppޡ̞d3Hx)z>l}KZ8amϱGPk<ɗ S*veӯ pk<;B|QɄ=y_R r(1p(x}$_w|smIySD5 Y P"om碓→pݦ.饰/.5B$=%Ux_Iљ1>,iF%zؙzTLإn6U dP5t&#}_xÖmvUR8A"\Jg3q \w$u+~KE6gcL:?8=8>M-MeEsrfii`_ő^[_cKU AW)He?q)A1pZ+M;5Rm۷85 ^{B0l.g{9,Zt;cfzx=fS!o,+5 M+l+~5s=)k#ymu!T6M>aeak@#uT%I<-˨^Yp[)O"#PP^h= F`>gYZ1bc701f8eb6474e542db12a6b783a92904024b2b 34221437a109a5594ba7786476b5abb5979a2647 352fcd7b2fd91fb8f087b863fba8c3715e90f859 7062f6bc3330331442ee719da0d76412d11266f3 82fce86746f9061205d625fb926c1da3b71e3bc1 842fc667fd777ec640e145e7b6a5c8ff5ab0b768 99b7028eb5c82e14711845a2a2d7ec04a8bac2a7 be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 d590558ac27bd56791168a8179e1e46d592628cd db53f23c149dbea6f96962be995a01549beadaef ea2803e6ad062cad8ab0bf6f40be7356c48a14ad878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457