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 c T ] Separata:threads=2elapsed=13.798cpu=26.424gc=0.616factor=1.927zXZִF! q]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NAg`MyӒ(t"#`,\td3" Zr%'-}ӄn \;hNVVv,Lzg)@Spd_ݪ,nUf7, U jh 싲S2'R azfV"|?TCw0„{K~ foDJ@ʲZN<,p.l{` Ad_ /)' i[+ y1vȃ{a d̯YPW57պYʊ HJC6 [f7scG4}#m-(ۘwP|U`@@(Hw?q|P2nٷ-%iXy#{BU^D/O#H@0v$"h<1 >*NԯlRGp+J{a@(kfNe7NG3SzMw>tYg͑.i=,e>]ۗ ZS@pza!ې/w.T8cSH=ZD3|ܷ @m휵ncL)뜅ö/ܾ6/5C:uI|@2grꮯ{doV 誃s z4ڨkl?h[ߢQX?S 3#cOݿ־5W>=3/LQA/ܿ'#aP1@t3b/Mz6Dٚ>7s2{t}g ..{Ix93R.F,^Dz{i(ARx؏k@Yc_2~B&m`u9e:$ $8oz|;?֞ҁC󛩄. kCV8 N7c\Bj r~dzW(Zs3\=L(6k1-hXMIA)OQ{on ' r{'k{ a/ Yd_~&bS1oo<ſ]HF"]5gɞ3cpt?yU I~TԤ&= /@xȿ9$K'