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 Z+ dL w LightweightJava:threads=2elapsed=51.249cpu=78.644gc=3.124factor=1.537zXZִF! FCi]ŗXf1-/6vRZlpH8;_SuƖ`BE~IU(R>M!p`Лp,R. : fnw R@v̗ch¯ >\v2ǻ0l䷹?͉l4l D#n>@[=$DF8lr)vgG̞$ @hq/8&^`t8] ?&Qs]Tٵs@e # "e3)P yK~5Z Li0QrЌu% ukMCRwZ 0+m8 Edvu{w)DQ\Ĭ!Ug*S\b;p7#S*'D@DC%@ n30TNZ}y FB wb e Č3#gYZ7zXZִF!  ]ŗXi%?fLs ˞j*- dHҪu&7Џ\َ~~u('"&.X7@ޢtfe֑4$Qp (="OuAwEiV_#Pc sTصVNlmd{N?'Ϝ\=FB=3weEvH LT 3![!ƫ,(C#Nl[q٣i ⽡ލ;P-fAG kNx_݆'Nb42U\S>ސm+1r./ C >鲤NA0XvlRr !~Ԏ_0Bt⾖S4*_+h1'P`\=! tTlMGڒlSh);IiN ˪:Bz,`6cCf:1N#R=nb(f*hTf:;1MdWꂋ7q1_}ۭ5Ooulx図VD`T3AB4O nzɁO,S%,gDă 1ہڊP>:]BN/\rǃz~ q;DkȬdFo>giZ'{ښ#[BE`IyR;} SKn?: 1!'}+Yg/tHYiȻp[(W|?.RT&pObsOwyf.j4Ҭyw[2Qνk hHܽ헒LéQC5G`7ʿBZ +,ýZ|󟟢AR#X$?t#"M"GW5% c$ٕ.wڦ,wzl $ѐ†|lBg|99mA}d@)ؤ/HbHaZ LH$ NGjIhB?+M~dSn^Fذ.:QLkAD!l 4!&ktQ=wAŹX4tZϯ%pk%{vs2eiwmD?O0Z0aL 5͆ANޥ;ม0%f :W)R{\"kiڊU|﷭n=ʺ_J;ûw>_EFM)\@>{)Y.u ]&LIò #|{b:[TccD|M_Jyr bPWJ;uYe(s*MZD++70H%!9b.ZmoomcS5Ț!TEeˎK+ lb] Vx}mt=ѕ3,6ߕU`!>[hxאϺK EYM~_Ay"}'GP̉V bnjr/@3rhCo!M*g*6Y0͹=ڋx%.%](Go{KS Bvڎ,髗٨#Xx짷f *k˰A<i`NQ_7I⊶;Mt\ߦ&@@CXuRt&Cm?9q^sBΕ&lS烞>#AKkq6`b%"bZ茣E6YC-A43Â<t-ְN=?lNA!ÙUL`?oc`πD4ri}-|{.29&A姩u֥s4O}-T]qT!R*rgYZ311916cabc672824fbd18f36a74a9f62a6ae4fa1 721a87149a2cab64131b95157bb7352c8850ebd4 90d4b67aa28e20a56ac79a9eabe61bba293376fa 9cfab51a1f87d0d39dc1dd8a34686d11b2595af8 cd8ce952ac5c4717ff6ff8d6b03d81301aefce67 f4ae0fae7893f7947d754f24e1ee90bd24a07f3e735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3