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 QQ' d6V 1_昁jދ`'4h~oĒՖ=8hғ]2[^·qmi[1U] gQ,oi>|Mza:c4a|d7>qDQRsv]" EI .'AgGg&/ FYĤm4,4 _vzMQ1>1㴪](AOV5zG:WQ0>b3#J3eRtܕgljf!B)6Ii2?B DZl{u?x +YPFP(7$È%j(A0XY95(ִj"LNI~5 g ٣ =ClrL1ډ%0rm(>RAJ]N(FbsyBT]K)R0ُ!i WB_I>VqK?xopy=>ClGm`ؚXc}>L]譝X=! y5GnWZˋ$GpTWRQC-O *sl^lOoG0[:suʼnJvyO@*s +lu+I "Auטq5)kI6eiZxS-'B|t$ Tz,%&tY2,DBpKmD)fS"bJ}#ڋ8PD"+zD !YvwrwSm:>9G'gn}u'd1~,}|h!T^4PR ܬS;% i(]Y)շjw`EZ 7/|AwIe<tBrv='*#E{N!r[UjG(#|ot@XOدfc;22&tJ/}f~*l-=;C8zK}@Ej8/4G^mL9'ͧJ;wgN)ITy !`7gO^S$ [zn|A'dAR#t/7z.NwpN%~ tv,"7ɫL,0,H)*Z;^+Znc뎯c`k=BoԙiZ )hxLK~(L8T :Axu+բIaZD<$_tD\Og]Dk?Ӧ+vFߝCO8&nkc",MRx`s3ajw5 kVeV)wM![p6-6#gTA|bM)Pʩ{H0a(ٳ$ԳP4+j0l`8A(5_׷{͞Mm-x6%yQM! @WtWvȈ8Ei0zL\^u&<$vFu‚1.nHs$MP00GܩBZKGmn^lt퉍WlQP& eZ6O=>Z L"ދ'+فXq̲2{' PU]|wXq%4oy8L[~˂*_MTaʏYް^ nѥ' RB.DDm3xZ`ɔ5 BhT&X>1"0yl"NɰժmF_ KzM#Vo&M!']QJ(}.BSԞUH` ߔӅ0}&Mt