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 d T ] Corec:threads=2elapsed=52.044cpu=77.252gc=4.816factor=1.487zXZִF! `]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$h{3!eC5%} ۆ=ba@WWsH62*5솚9ϟu~~+\9ؑ\C$k*PQURR.߷hnG ΓԌ'*-X ,XO;-VApY%YRV}6wYjL}rd@+GWBEj?Y Jb7"HP̈Q{B'X%]ID@V6MYi'}w眊vO((1,cPcvCr/ؽXDG,Ω8Ęt zAyfʐgROnlTgYZ7zXZִF! a]ŗXiɟ&zLoK.wpB~w4֗6vHÎ-s;`K4}WWuWš\E~'ݐCmSR==-ؚ}|&P9ՋI̵S i=x`W4%Qr2k>A*6EgfC +VJхD]"F &9ko.ƃGd 4u]]Y}fihn#$zHR,%l$:+m$y狻=E1.'lψ$` ƙ yIw(@e{Y>|wPlL8>|h<A%\ZPv9)_(-o4}:`1ɵgģ"D oK~B,\ Fظiъ`_ogWL-3Ì&'PhOQރ mx4kچ5'E"4Eo4OR7M!Όu w5C _mY^~p$S@oٿP !V $kh6!6T \|^uKNm$[=R id0YFX .Ȍjk&4 T{<4mi8:^(/E+b y3މB<}闘,8?;aE; [j "`@@+*m֌}. 0h%!6}lg3NOx8^2oy ҵ<6z Ė7(e "9Z\5KLϯ_z;zs NOl%09s.\gc:u``7 [6F)D';aFLSTR#͹#7ҩ+9n|%\P[E `\cNg+XE_tlC\x4&Im4UX#>|e0rC[.LD-t3G񀝛b WvQ#wEniꞗ YXT3d s>{LEH%){_qstiYpK @N rټ͝5܏yr[`M^"jXLV%]z6J"Ԕ1ej eM _Y *(dXҝы( $R88*\]@%ȓTfH6f_~_J$ءr.vKWs0ӰEr؁J "iə&)vBj@UQ. XOxд5/;X>4Kt~,\SDjc#S}Ǝ;@M^(AZxHkKEuchq=b}R~zլT?hd-z Wld4W) a-fB`o,M+_*::'7FurwL4|t#d{+yГfѤ~UW d?bZ~7KYbN˖Xw!_ًUciRlzL9p/7| 1+g5uzaD}OZťqB@O0|C*|c44\VSAX|dgX]XX=Sj@^%o}nAr;38CQRŒWv<*M{%!BW)C".x6n5Ab\ԓ6xzQ K%+wTm ^/IVm)vu,.7|1\0B/`ͺEu,kI:;M9+H Z,65W4ޯ(h9 (wޣCH/ 9׮I]'9Spp厅fɏRO)&8ۊ8W:v4I瘡Ww<ũ~VX`C;*K"Oeu_"ZRӫ{(љ0:Pp*cg3˜C0Q*#$۹CV.Ey҂ݺ Dkܧ0.=Y6D;Ƈn(=a86m"iԜK]rP@R*_h u-=Gjup-=}Қo Wg"H2NzIFq 3piܓWcmM:GA=±gYZ1b5c2d6ffcd49ddd438a9fba19cb1cf03102d92f1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 76d136fe2b1f7d0764f431c043fb81a2fa9fedf0  Corec