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 8893 tl S/ Impossible_Geometry:threads=2elapsed=9.567cpu=16.796gc=0.432factor=1.767zXZִF! Q2]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQ?oNP;d̀JjSg !LB%Q ]qPekQ8ɷV?GD1m<$.9KM0Wɽts8KG:?y[ c- < MZa $ʭ0fcVl!ʸ tXQۘ.9{"HUZ>m1# p(Xpۚa^QHH3u/jJdA"2Ÿu{%kì f9v|vz7c%6JfúXǀܤ-b4>x±* 6N 3 ..){2!}$]A6k>n܅ֻf6LD~8QKN-Q2 AMj P1)pcؾwQ%qľ 3 Impossible_Geometry8-v@FHrWqc4n9Gt_1q S¹Zd^hu!+z;cr|"%6ie &UV1rbwUs8DE`?m%+;{陽 - V絰KR4yj][l#W 84/ T.X*b` řk/o}&6.1xK=M2.zGgGl58񷩣Zl4˸?<5"r9sGxÙXsi ,>(,Z]c+:XL{FrA"'KTnPX T~`aDqj_1&c&xOn ;rzoIg_kj5qP}X+]~c75JQHg+CwHOLgB ]2ϞTJ3v<y;}_,G_Y]$ģ^}E;ں6Wwx^:%f_=K .+a3(Gt85R'Rӻy`ǽ-<cL,oy{/y \ /|l;#z'1Bq(' '8^/p\{$ caZ*!,]j+XGNdƳ,QTnF(.C1BvTUXR)wj&82PhFH ZЎD|R! }SgYZ7zXZִF! 80]ŗXi%?5>-P)% [Z.ă^Ka1;r[<,ͦO2i~'Hڏn(~NhGMP 26K+1Bc:r,ơm,J^GYAaY^IK4mԐuyش9U-mx*Il%VE? JSE24dSk~<g;dLL KJ P]26g.9sMsE0{^4W*"mCfHZ^ {ymfM?UHM l PDh,ҟEr,[6z),!4~kS%^2!/ȟ9pgYZ3367a51e5036112e9f9d7f26561887eb3b01d061 406c71d9db1b800c1ec2fe099c98f709095d5a20 983c956279bdf0c919f5f5ee051dfa1ba7563d27 a9355df361323a58832925e1744a3ae49783c29e878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449