SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info S S T I Gabow_SCC:threads=2elapsed=137.804cpu=259.460gc=9.316factor=1.887zXZ ִF ! QC] ŗXf1-/6vRZV2OHP"yZz%}<X53 q4%>0 sż2%_ fUynRG$a9>W#,`Aֆ|A,uFd=7An}3t#w RXyr!*\Gq⋩6+r~w 4ҵ𥀗@|BTNڌzK<ݥ̵ݭV>Xϱ0w tnaVwԟ#7RWa*#{dڠ.o Ɵnj3-n!oS'p X>_n?*" C`^+L rELYZ,ʥ.R2HEwX+l <Ao8|_ Nmd XxC*OVhe Κ3$K DY d0++̞v+0gH(/ m^U9Őm&S :F{:w"~W^FG;U$n>]idTgl7W ]WFf!9H&0Rx P[:|(:Xpg\y@b=Ğ]sE'Yk;A ޯ̤O^% ^iQ+7Њ"?H8C'3JG/%sEDn^OR5mZo;#^L~h^U-(uܠU>yL#O>h]Xrk$MNYg-*djVOwִ!/4m0kVvfJF?o5>.ʅK;ez|rҬrÎ%05mAREh\f.0~$g,j35Wr̹5Jx]M^EÑ5%6ip