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 FF# , c/ HyperCTL:threads=2elapsed=22.561cpu=37.268gc=1.824factor=1.657zXZִF! p @]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kxԇTDS/Ĥ\e;g-YF6 }9G޷Sd0xơSDnٌO!\߼tG!]!􂴠pյȫf.׈;e^bٖyx3HՅ&e0!)x9G])sނ:f;NS<Ѽ5wǍ꛳PoʨZy+edOL&6wm ؁h3m|"|U4| J;)_4@nuV簈>m=V|Lb   HyperCTLۦe)eHi ajO5[[2 ~'DhV.yǷvҒUyjUtwf!W>zi'r'kEH+Ss_m}_fdgiqhUL'ELC xTF; !H.W0ZTBeW p j?kN22"]V L!.CM7{I@) $9L { aeb+rsjM`ౙ̓r}a#ɣth7AjZT#FfRXuƄp'ΓQ@ƾ] lϑAO ^W{tJTqhwWC[YFH G^)eĒf_݇D^wKPi ,>Kk8g]NrɨAC2sͥ!ʀ!s-` .gWԣER 7<K3 &??ϿT#a.YIK's@Ex㍗pJ# -1&NuL.$^n aIGZBf=3m&M*`Hy֦G$I1 r!NTuZ- XT9xԄ15& 00jF t+kpA_f'G|r!97m~-eY*sPH(2*Sp׻a6).UӳT& jt9*Pj'L,D7d3 Gl)QHGjM=R΅J+łs#tPaSX~AU3tHl΀͉p5sFzzOH݌;Id2$nz$͐J3MsyxsțfR(e1EEy/~/fFpՊB"2q2Wzxt +v-(*RGMz,)yY@g&z+o̕>''Zcm*WY%tՂzd +j2qR bmw3`& {";k/ʥUv&<͈Ԭr4Vx[cufex!/F5?5?9Ơ7@G9¯-/=0L?ɚF +Oun֠|T0lĆ bt|pb#2ch>P:d08+"Y";xe/) }^pq;?eaOe|?WMدee_9{%jA\ր!2eެ^ OgYZ7zXZִF! uP]ŗXi%H˩~~,x͟lK-JM`b0YsƦv2xT2&踂1N}̷e 6ʇQNTM穘_Ս5ֶ-ӊ Rғ͉P2 /iw09,zQ{DT4@M0 ^+6™T<էd{cօ~à;鹰ȟ*R[]k;vF|kHVp+7ȅȂmCѴluF dTI;7#db62ߥpjpG g&Ks-\bS`@-&8ǺLֺ9TEh595qJϾs.Q %gQP7bi<6/]suQ X 5Vi->XuQ& ) O"{aȯ-F_Aew;"?#0&ܚf0LoҧqwWHI9 Į ^a?k7~i@etd*r% SKbY}3Gd:uqw@R,Z!#ui=.P=Dejْ d  ӝHkOYHsms;#5(UjILJ)GX۴VѨo<>cJWv]$>W7>T#Z덞a֠JD LDRYsPl?:XM1bRN^< IQ3I6Oǣo\tx9,U]N:ݵJ"DR/y,8