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 pp 1 tT % Stream_Fusion_Code:threads=2elapsed=17.753cpu=32.828gc=1.476factor=1.857zXZִF! "]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]S>K: _qk`cj$'#l9_/_ү: LMLq ĨכNݘiRP1}4iiQ}_]@lE 3 ofn,<4Pk~2{ݭyH&Ý^ަ~;^lܭQtq}/ /e MJŮ {VRXb_7j;^1O"M~+]dX n0XI+R[ao$Q ZZ1ЅĹ(-+@J"IiB( p.~lh*0s9 &"0(J3m4ˣL{3BFT1UoF'&Y@=oeg $ w`jla4MvcoaӍ҇P p]-|W}^,Ӡ*tmKzh./ގiFTް.KR ?Mn0DSlɰ4ur3+Ʌ0d8=3aBHgDU[l vy432أ)V+F] oammts$ ;*EX앱gYZ7zXZִF! b]ŗXi%6)PWM Sn1<,o~UYY2}iq|&6WLuDU3mWajTuǓX_e(A$7_:ŚXnijYNSnDwP;(ck &O9TڟYl:t>Tۍ ,U4~l]o\UI4491^u1':zh @ФnΛE@_ EmUbՃvN-`, -W#: VޝLӁ$^opMU}=9-[ޖ@HiK#RNŤ15asTR \vb {OnT#s'R`2Xcs5Q. 8)8/9IxpGrv啽;ke|mIHg:U=Ҋr,ֵ&#g;)1xsgG:I[TzwdQ콀#w^ȷa_r͇!6+P.{KX_ :* d :ݹKB b<|],93&,q6f(D8)w"vkP{v-;?E*hgz[4\n]lSȺO;޻wRzU%@ tbc`F}q"hYv09ǎ['T6b\rc.7 \QY yS0% nLd.=e^f&9 9s@; ӫ&Zh(eN4#&Jq>92'svF˟&88.c9fh?&+3(?ނ˙FH"KYvΘ'ӲAfE~% AB;]cbrR Ir?4]W132!ϘFxQs|ҾfVJ9>bx`>ĨcΑ@\ša׵:S˧sS͵Kע[WOF(]k؟FPj<s%'ؼlE &q~<-/+'9E')r%bXwM  2uV3MuH˶dRȤGw܋CvܚgApӐ?ptt+KANh%BU 7|$g`r1pCI8> . ^ngYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 2458f4e1fc7369c11bb11215ef670b9e49e91ba4 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec054e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89 562da4d4198b4863bc449ed33bc26bae3e8c23a0 1 Stream_Fusion_Code