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 ? $T< ] Program-Conflict-Analysis:threads=2elapsed=28.884cpu=52.772gc=2.420factor=1.837zXZִF! zL]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CUk0XoeR큹>~9#Y]wP7:ac%pp*@FBcxvMuNpHQFwC/|#Xpܲ9-45se)q3tFMbNU(6 LBu0b?Tr9V5A7I5 VDDa)u}`IJ9֬LOgkCNkZ6Yhj#8l(E1F,kd8$ }`dZ@&RM?y3.bמ~s~}FhTҧ_i74zS^C=uWZ/ebUқ ^jNLkPV4mkx\$|!D3o@׭؋QBm69UѰZ@HxNشf@Yꈴ/2!Bg\)A&i`&"+>ҋfY;<^2Yb]}Nժl[ [ CQHf凡O /+@CH1Ιf Wm(+u]ĮMRpp>3vY|8OWU$KGgfx&9PzDȓ|jSv.>ÆLEDeV@YTaHKpgѼumy`>G*-,@gYZ7zXZִF! #]ŗXiɟ˕A;[] VmTi{RM9%9 Zj‘K֍mtUI& %^.օ2o{䞷c3]1~K16~A;Tvڕɺ8390>`w7^HR R0;[7]8Nh9\EhP3E ) lq|JzB!_6^ߣ9_ΰzY?HA[] weKpkAXؐiZqI2͑gYZ7zXZִF! ]ŗXi%9(O*"R[%jd`7JX*Ž<$˕rihcΞ +B]3J(HIZ ,A\[~68E$x),0y4EQ}C\T ۔ b!ң;-0^^@Bϴ2ky b$K^y&z=2S6 Gv9A{aڙԴxTwGb%J<̓Ci;Y_PDPmKq+]S4LJ>ji89b,%X$`\ǐlz+]R5 Z=*&|2=YA]@Zgg#+sdǢi!3\y%4̪$wt.ZfKiN`XB6f >"=_"Y  Nc-H"^H.ע{q.gD3NPi܀HU]#g<ɽCnk^SjC =zZ>M̿. JA>3W0l\}b^s"l&@>0*Em<WCl͙.5 ^<"H?luhUmqIM Ax&+u!!9?(_4k6c7 L0!42\fix5nb^xbӜ#$HL2ޛJr) =΃Ldg,_c( r_ZڳJi*|010׬-s0Ҵ  c$n wM8P<=|şncib.}MY{kbvM$[gEQE6z6 A]3E0{O> $&^SOv0>؜|D L[NlԬqq i}08jʉ0#53%U1)E%rjN.o2a/΄ϕ)trEt? ֺ%4d&fxjHgA0cED=Rkt L}KRDr z➷N>qd".Yhz{w/e %R}E32>-y<\T~/?1"N"J~- JJTP>.@dP)UUKU=/~l D:ҐRpn5 70qAA)SxeR7eqÍB{ ]r̡9b28m’"$pG =¡Ha2w5m^<7Gy`e܃GKqSz>jfzhlɜyq7>nc⏜aOW@Ѧ#o8?3zArӴ ^n$S!Bh̓/LM@7߮Hu*!oCq^MP"+O=SEX!