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 w L| ]S CCS:threads=2elapsed=22.018cpu=37.704gc=1.036factor=1.717zXZִF! ]ŗXf1-/6vRZxi}t7hSyv=4Rqg[*(*rC&H2DYBʙp+{r#J{jl<7&/yE0ha G*̦SSyܙkv 8TB~C燅&[4YIZNcXXvG콖qC$́l:ґ.o4B\%o*phZFEFQn r^BUg~qѻ $B,ވhޕv*XBeH8QF^ ҄2 vb堺)|6bhAd$sbaqa>o#E H|Y#ˎyqIP}VqL2Zo:6geF";*;rZ"U^eI7`Vr)@\(w%KI+ZְXpNy弎 u/(r;09 TXHyXkꜸ {'3_9hy!4ۈս ] ]t + N,2XiǺ[1]#$1;;89qWxOK4?6hcvH!;7:`JJkY~Mu6L+4| qiRxoMkL!M59:!,K:"筣4=(d˷M 0kdå&;*fYۑ{T)k M;P>wD'ۢ/ ށ]i4#ZRFdyCtC84Z࿢`Q^ s"HXuʘŬX|mtvBBލ9O `pInn6 y/ ^~)YT$̈f$l ?eI@ئ)޷=DDҼgo.YF9@+BA.=DY aУ|&W9RQ&^T[6m`)\]ZQkL.ĪInvZ*?nKb";ŤFz.i=S췩D?qM[PUpM+&Pgha傶{5ˁ,. Fg"U](_1.ou7R} 9C'T}\| ~~yRIцG#:>e]m'>6 JJ %; xPO8jP+`xCpa(psTGZol@;پy/aO  0)kOp`^q1cU 4߱:|CYFt( s+`ښTz R C~xœu"U*z(7C]Q66hs LRNWT 8Ȋ'9OJ EW M墭7vayf"ʬ?k jrQ)>GQkwrkrk/ZFt$=%]uҺ<377ت>U.=1Pi_U^ġʢȶ`s-Mn dgYZ27f9b0bc7bff7a463d4cfd7a3eac74a0db2fc40ae70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f dc5dec6897c4baa618768b5cef65331eb1c46819  CCS