SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  t t)LD ]/]Stone_Algebras:threads=2elapsed=67.280cpu=104.292gc=3.216factor=1.557zXZִF! @f]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTūM0mrǓmV=Hϫ(Ja4S+}Z- 0ECc]=#>g *:.t(d/īg=\K1cifjN #le'q8R?O8+?cph)H)vG aYY7?=1]]k`ltM^VC3f+䍫oD0(T'K \ O_P9`jݕ*!^ s/2e;R9XHY^OV}h`hb|g粸 pc|tiр>?l/.Q.G v[xQlpcidh,؅FCE/^t2k?#t_Pk }/qH`Dm 9tTtbx0lVaW[`&N[HIRX.a.t,ڌ>(| Z&wlPnF#V{=^;N#QqB-*8W\ .ut)˘g4Z9{z Ν$(N,(1a)vtW )KC!*NaYotEO$T2׍5OɇXpݺO\G 7pd 'Wqrdpd]6Ws [C{U&N䡐n -Aq֔U#{d=ge63_!gk\)u&Qz9H gYjbψM-juc(II%>wyiКm 049AAW1]? pc`ZL8TDX]z\ 1dt'xQܯsPᎠ7x\)K/_I==qDO~ѹ E_r#9r\BR)MM~gI@=s{s:&<@wA> J|] T2ِ~̻[%2HK$#]q(fKY<-l&%1Y!<^< ׸άyšNji57ӎj{*4+sgJе[I;a$dķ5VU]=${s~ Yi T?tFOwr&ASVR^nґZt(1]FqZaxH2l$`Ѿ.ꎘqf]?Ad$euo_(z)4/39S!]-NqLSPIgƿMJb;+b?> fr_)fڜu%u֟ bgYZ7zXZִF! D]ŗXiɟ34Z4 I~Ga˒@VB$9>#7L/ы@UKt 顏a )AdⲦsDjZ<Ҹ-&@łJ>uj=Y2@aH{WR[K^`7A{]|v} .>Rn{+KW(w|r0ooܟںjirBeHz/FOI1-doVTי>̡c|\O=c 򈝭B'IKP z"Ue| M:΢LP!VȉR[+a Ff&.t&x=3㚀sᦑ9e~u{h~0< E, IrlP![4o7]"c64Ri\{̘k&Ϳ*B2vig"!PW&3؃D(5GK%bF=]\`Aإ]rny1%r%:BkYd{ a1v#m2GQe3g3| <4[K_r񇪅^e6 HoO"c;y\5g!?؏Eкq,iɦb>ѓ-$bk|1tf1S1;'DqhrreփVNʇKtVg:'ri|o3e/I.CAȴmvz˟4h2) 3n.RwI9Gb`EKRDՌpY +~}m9M{7%/#$7) ɜ*tOE%J L2'a"UNlv;*O~:>T3&{P2daLy'",M2Z܋ׂ^$Q<{JZ:d SveUmiiJ"SOJ_UdhÁ+m^PU{Š'Q\n"_Udi4I^f'Wj{L_؞%s _DSx+]몚=ZDmh)*Sv"j?~Rg\\[o0H##Tx++ o"e(p"毳#rn6ap>FW`#2]}Rk9F-U:`u3 mS߭"ګApiR)wʅjw\o~P;5{TLԸX=JF*EΣTV~ uޒPčlE1iˠb)ɲt@7h%eZS14رy y|뇓֢v*6;VA1t8ၬIziߜe٪o }( qqMpʇAMl򄡀M\m={|hRK֏݂p-&g9ӽEHjm3 C!~JtyfǨgw]։߱([0|?% tYzҾP@KFxH"YEāӈ"g{%01KM(ٷ녜N=@*[ (nwm<_aDGNgy/{+,Ln-B0~WxŢ(MS][6xPJWPs+6Wk,wA+]uEV[9Wۭrtk8C@+0C\~E.|?>S}#^ $#$k>K`Wk&٥<°T$̹<u=g?iDvhs--+ȯjs+ &uauq~>QXόok"_ GBGHo 2K0.}"B}7\!~ט-_ܡk(~#4~ >(Vsû}WKp3LԼ 0UȖ@' FZ, +_+6L9-m90ym~.A}4xQBw<\㮍渣7,x!ބOt8gmcȦRe]9JTpIM{*/%w;%0|ۄ(56~lv6?7o5~{WFYYY{n؄J- DLYzgYZe6ee1790fbb132daf19c7674aad01fb0e73a28853bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e1239a01ca5aa4561e420921aebfe4b87409398d1