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 (K ,T, ]% Random_Graph_Subgraph_Threshold:threads=2elapsed=10.361cpu=18.912gc=0.624factor=1.837zXZִF! M]ŗXf1-/6vR[NDZ1* )# rof [iX7C Z8_M|`u,$g$JΒ"` c!ĝb}錚h0ǹ#yR SrgYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:! $Pǐ67%+"=x*Jx-?n0|/f>E\& "E r^Bagz)X˩Y~#LMBM5aW&ЋTl+e." iNG:<!)Ԫ\O}?3RBMgWs|r+%P|7V=xvm.@=+^٠D:poy)kOȡ*^DX缨Ӭb VT"{¬֦+.^^ (}tghmxۂ9$'zu MpvHniG (r@4Bz4! qN5++V]{ۤkۀoۦo_B ?_Qw9v]yKѸ)aI FmZO9 ^WQ%X$}Tr[+ŎAJ/oRkw, '#Sz q^jm b Pb?L4D34DFz^ӌ(D7ZGm(pxDBXoi@ )WbvD1ɃzW8 -wCCD $K :8Zvy Jy/rV ]>]$eʶ,/bkI.ȗ sBK ‡} XXb?V;O o!)5P lS,-Jyy6@ayLaFS"z+zHX 4ٳgmDI'U7x}FmynǪWyhDOOH =HGMbJwYZ]6$;QXOR|Ou9g>+ly>@TLUx:u(Abb:VSS {:۱QNq ѓ,xAMK$3 &v}4\NBylEd`c\|u^zD(-Ak-ydG;˱gYZc934eadb201e91b7e7bb43b8a63ebd1075de91e80dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a bdcf3dfcb2269f6f70b340c38a29b59b8f66cb61 d23d34965eb6b48bf91ad1e9dabaef03bf40c2bf 1e27a4804f9529b8c48eac63f4aa110dcf0fdf1b "K Random_Graph_Subgraph_Threshold