SQLite format 3@ .  YYQ77Atableisabelle_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, "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 o , w/ FinFun:threads=2elapsed=6.001cpu=11.108gc=0.468factor=1.857zXZִF! >P]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6w ,K@ztu=ۣ g:YB©Fim.2+eɖs^iJ#J 5j"$̏fu9 Y]Գo#҉gUNދ0\}F٥rzS irPg;2s02YfCsj .1f0](Lv fpL0F© <PTwȒlJ/&BQVB&?L(, gW]J݋jO@@`UM=0vh,`[=CÒII[,' s{c+ȜN6ƞ(*u7F;ܗS(6=t72+Yw SIi槔a' VbrP^vs2Y~#:pt @w`ef% Եb`juzs.=Ik 4x%9!oaHS9 욱v6}&K]\o]_(]:gK(:uW2}|Fpkh# E) Bn-9 Z,8F:#o\Q 9M]mpIƣ5tudm0ce F`$ Xw%ŠT*@v|Ȑg@uM'TU0yT T3pjLSV3{$˲q,D#r=)I>1cN';7 `e+"tZ㎋?2X حa*hH{J%q3O:ѮRvN45}9um $KѲ&''VmA* 1cI\`FL\n -3Hwj Z VPK1ۢ$9Z;"y!:n U~VzǎAۀX1 >R\( %S[pRJo+BW(wB룸OV*WzA[ ~z8wl3<~Y6漥>(ZTB6l#r.gS/}:wbЂXSx QSDd32ndf"|H˪+AGI7'܆Mo42?O=1* gHw[7J0h;kw#uSo#(c 5Bhw/%nMg(02EMi#*/̴[HE5eyeaBspj**h}#;Ŀm=Bu+Xp X]Ҏo}A*,t_[xTM1{i 8#ݓc-.YD 6"W! 옘ڟ T!V.;0v,|v籲%+Vͭ ,N7WHb76`a笫l.:]v_f;+#.c*19!;c\r譪#̚hZ&V*O?ױgYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 76672d0ca038cc430cc1a943426e3cd5f6065cd2 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd119711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9   FinFun