SQLite format 3@ . YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  #5,T ]S SequentInvertibility:threads=2elapsed=53.946cpu=106.368gc=8.492factor=1.977zXZִF! +]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)~(P[L؜٩p;aQClR<u?8X6akC-:Zdډl1qt( | 1A@;"tBѡjbPT(B8)WU8D`Թ`aRrp<2?`HVM|m5\ N O{]pd֚S}ϟ[S*5SWi{ )+Cn!|Lqr,>FVCF W&ڱgYZ7zXZִF! c]ŗXi%60n͑.L~/ }QGIpLGQbms[ȳsvj|0->!E8rq!pLķܛ.`LG,O?\iB50tz68E&]=.8&_B$Lƪ1O- `(=u cAxwHf0iB9䀇Xm-ԮNjbМSs>Č`(>@moQRCy8vfm&/@# z9̦pc}2,$l:B<#)o22 s܁dJ'Ĭ:ws.5Xb|\( <)֯ػMe3tf=p񖝪"]߱Iې"T V=x;Hi$RW ۭlC!l^e΍R_<,2ƵaP3xVCJc?@|T}ˏUW}-1 'S<ϜV+_/0\'td pC/ޡKS*YjJqRFe֯'s)_,kS{'*W_Aw n.8Zba'_,QJPw{ͣ!|}psLwl-őiMU@-ީH$ P34N_#".t+ȣgɶ+dlG9nSͅ D!O=T122acdJf|N #sjF[ܵ$L z1 2>UrCY;@u`0) { ԁ2(k|B~hw(`-)i/pu51zaԿ/G [`ٚ-hbm&}='T}j,:cyR LXc tIBxO ׅ,-pcܶ` DƲ̮'ޢLyV"+3M ;7q#΄ [4w[AO[f cHqKliJ l^>Ȥ E.R L&:{:ݫ?ǟY!~>ƌ£Kj'W.̳0g#/hLh?If^mQSk/]y&98D1b nIU'T*WJ(Mڹxq*ZQx' m]:14l #\RHNgErq\ZRF$WbCU6}loI?b]QAΐPsC`v@9rAWH=t59&?B3Ȥ|)tB0%{V(@j}PF'S_1hs1H$'G,lfsd8vb93[%2fֵ,dc>K$XtJJ Vqf5t'l't7 v[$DԄRqDbuL8:PG!fԓ qpIm|15͛=/" +))9?BisD < Mo9Tj<+&{mi"B q @#[ꊖ`SE6`GmhC e(ZGq4wY> 1jA A&"li% ֱgYZc9e272c62b089688d0bb38e69c6ee6ecab8aced6e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 18c057b3d60158d743b564251a1ee7ca39cfddb4