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 9901 4\ % Stream_Fusion_Code:threads=2elapsed=17.116cpu=32.580gc=1.604factor=1.907zXZִF! vC]ŗXf1-/6vR[]`^O㍌GσCU,,#DF} RP 1 Stream_Fusion_Code4HQqlVƽ%ut"A륽]|?U\;(z5!>Lԏ+:ޟ'?V뭾-wač~"b/Vu<+ؖaW^\/9`p:}U͟΅Fm_`5PsN3O#/ wfiUll.[XHmxg9{+Z$}n hy }#I*nOk 0;C`a`KmK`+;̤sZ4F䪥cL FɦL5"Fa_E.-M Iڒ5{mn,Lg/(\YbbXu.~s 7Qq9i0/ʃdT[w>LP_oCs-x`8D7.?ᅳ3P+HJ& H(Tr) װ+_WĈHY̰:̌?Hi H kwruO*k&aؒ }Y!GS.8agFCV AŁbʷ!% fMH2F#KYP0,xm`*gۑiziI:S8Ǒ\̡x &ZӿĹ)20 >r lVMa"CZӜZp(EvI92d^yxa_gO}KEa1Kً^mլ1nJG>kDm]U!:lZ"9h"wB;\tW$9I^9Zdbdq4ROIHģJKԆ)R]d٩C+ /S=QA}s0-IOx@+AV " |KKx˃>m^F I۸,;Wf/k:x[Oi],nD8ĸ&r>MV">lP蠆˒ǑRLkn<Dzg^C[/o'[9t"=bSȺĢy&(PR#vj:4M^~oA9܄8k`ۙ&^a9S/qY`$ohov}WW>^IL}Цm4ۺ#dSQ%Dw0w"3#y\`| SP޽b^grx|b\^E =6KBh>~2JMux̤Hj 4+gh͒ pJ<ٌCV#&nN0GP5p1ɟeO%r\ld)拵̈b}l3Wo- pE%g_caQMv ~Rs Y %H4qhiV(27 4Lz? _$fL'- qNJ^` S]