SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ))@ 4 E ZF-UNITY:threads=6elapsed=5.105cpu=25.300gc=0.860factor=4.967zXZִF! b, ]ŗXf1-WHIkWxXr:y?@gpIhmxKɃUȪD   ZF-UNITYtDѱGHFx"Mƈ.,6Hޏ{$w$(kO_$"{O i~eDaA>H>iђ{"\eJIP{37m*b `C[RM%YA t~)~P!/w4%K[,o!ӠӺTa/g vݩ8V^-jah1,$mZd_nEz3Mڃ:01tI-Y*iF5 I( v +M ֜q2=#bo*l1I e.ɍj)#S1էQTs f7~>V)S3,X 11!W|#CIgk]QPvvڒE. &131r)Af# ϹAR|zs5r}qb:J j'\ISZmQm9H\, p?,0l8 ;1Fa:D]B}~iߖ3QgܐRypL) WIlQg a:u*M58qѠ x{T(Z/}5.(4e3w1vatޣrAu"gVy6$uG]:m֓A\$kraDwE[H,U> ,ڵks qeϨsRT^sq &bT0VPIy D4p3Fi"mB("ZD֮߭2>&/ÇmXy.󉉽cςj'']qeλ qJܧ 3ghwqHd^ ԷX̋AƔֹq'm: %]?.Y?y}7!>gsn~r=k{g&/VbjxBUk9{t1gsΗ \ymެ`p ̝Me>yf稇,Rl0J6{8P(w/Ȋ9;i$p8goapۄa6k|-ckK,SY^`` *6o|a1dVCG-e@SޔwgEѷd̰RUNgca3NQALZcȠM|AZ%V#p:C~u̯-cK z4T}#ڴy1o@JyqCټMuewTȈ) &uLT`Zm/I3{!* \Iɕ>Υ'Ek h:hTTJ3aR3ik=>!of) N։+ M겱,GMɒY Fc\AeNɥfZhm iQϧ; viTd!M\U7_@P=n/il6UG6qh1#Gixh ,p@;j4Ws-@s]N +፾Pt"/R@Y&vOƙAC.Q-p6V$~a ݇;V} ?$|tki*?n^3׺߸f2:V5ͯqB[#Fv]0(Υ$ڝ̀<ѕO ]^91K&|y]>:(1棽[i&vgȶ,*$7ukM䈇 uXC+&n9]~6p!BlL:uHj GJ#8LKt ,:R3XeɡY"A`W&!벖dSI;yI骼k YI3M$#w?jYfgnf-Q* $SH}E@-b8T#6Ƞ˭!k[ {˱״Xh]n"Kn ß[R8uUItE HE קssmw3yQ`y}8cOgYZ7zXZִF! ;]ŗXi% J`b0Zlh3Ibn.pQFl>=L`0;cZ m; >iI}koDU{fI)QFm%iPJOjP&FD3wVJ͋,,]!ٰ K;GM.6hd ެJ|=SIRQИY h dt~8\KL |'Ȇ>V^\Nbҽ~#E)BF f[|;3U.21;{.9"yʆ2뤏{j+JK