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 ]/ ZF-AC:threads=2elapsed=6.572cpu=10.304gc=0.528factor=1.577zXZִF! ]ŗXf1-W'S)b-LWtƺ}*23XK|n҉hGS= CՕjUilvQQ;n6=&ZAj)X>yFX^06,ug/EW EhPʜp$vmW=1hՓ}XP|{!hh T7%gYZ7zXZִF! ]ŗXiɟ98c tؠL\b7֭z$"nAFKuA x!_6ٸ`} )ˀM'xސ-n[d`w0%M |n(/|P_(jidc nX$o.!MEو=rq5u  Gq,]ɝAdo= { [ǮB#?ٳaBV&0-Q|gYZ7zXZִF! 13b]ŗXi%;>N0TmO9'J}@H+f?郵71\f&G_/`P $XlZmۋvʅW4\u,y*Ť+xC7"+c"Jf 6 &gpζp./Pʠ$lGLS>MRs|5kt&:UGNO>g5`f9Nr8o'XwU?g% ̲FBC>v>d)e`&^* U/-d ~j}EH@#+L'>L5 %S16;bʰ}'|$ ݨMUF؎\OK!Iɏj`8@_ςLK~Mq(vU*Mt ѫu/ם63,r12o]#cTuPݴԛU ڽ?]˄{ڌЕe)XuߺՒCx8RZ96 )=I呡VJYݽ'4|vd S [Q6ڋ1s!غIrR#@l g^CBxDoPWG"ħ7_ҸֹC $ 9J@|]>@3nl\D̪@wMsiBDI'JuE¸P4u&oCO&|w BNfP }y>8?5|B*,xQ />lWwZ7¿s\ ,<{jb圿|yB؂&hS56#"SH|ڴV$#'?bκgYZ008654c24f1f0a2f25c41eb27cc6982305597079ec4f72521e1e679fd5cff6fa91e397c5873c6432 d5fd97124724e8708a238ae2e9034b23fae48085  ZF-AC