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 55@)tT ]S Multirelations:threads=2elapsed=101.893cpu=118.048gc=4.324factor=1.167zXZִF! 1bq]ŗXf1-/6vR[lRc2qJ)=?$~)LX9u`m*]![ u04WVÐ=F%V d-UYldȪMcB${K@W\צ3^`rA4 @6=T!eݫv}#gTOSHvnd&C)*n_ n[{xwͣ]-fblrSWia (ܹ4! gQR:y e "?֭g LHŒ,"w%XYߔUJ 51r /첣+ IƘb6J/1捻|!ֳb'[}2{Ƶ089b<ƒ]6nUaQ@{"bR^ÒKMO[b,!LOMѹ[*udCR3 *%ϗU538HR纇H-00&*ȍ=Lt?$fhJ97.1yf+,>~UEnΈ#L#h|B&BYJ.$!=^:11-Ǜ;pȱ$.H#ȴ히'~1LrS~ҞPv^-0v-2#jFI_^}yl%t˞#LO6ƓGpyp3XeR"Cb6B4/~B"gm>g5c{ Y5D$ ˢ6x RB*6(׮aD^f lxQrkLx3:t;Cpk PHS6lM؛6ZÄi幩e5$sTx5P8-3S< OOv'L>xc8$wZnω~ hMƒ&O?FOxO3_é.>uLR;Ow , iq}yd l"qya"&&CJ<⬡aEwgJ]_d繹W~K\~+E*ofM]bT;[6c1ؐjy&kǠ5,w 0d^QȤf>/aXS%ϱLJz7gjbX9..azy lZO~L(w6XR8jt;jÊq1!@~R_g]ְ8/9gǘ r0@lsPָxoo YˬXITL8 jz' IĺHӑ i\ :nUO*P hic+<ĄH=U ) Multirelations#tS2Q'!ڞUs,osW*kG%ʂ.LXQYę鼴+]hΈ7J*aYq\ vNגI|i Y6ao(G]2PI*Ӓ^Źgp\[O_4-̾ꗁs|P',ض&`ēSi:޵7줡kZDg]m=T6ǚK"x]Y 3}K*5/c'ASdO[k ζ91ჽ=Y`E_)vQ%CQr{3(ջ[sʈ0!0c$ݚ0<Ǜ{ ΍K(vbf3ܧ>=>EJ*[Hwot~/ JGN!Ũx:5Ba.& xMyF"! :r&֒ܓ?(mxoU _7&8p#\.aėD%$zQ-GWR'U-jd(D}K]*KIz]8{J  OVmǚ^lTl!T*X Gɐ9[Fܸ -8--ͧT.("A\Xg=|ɰ#L(v΢T$Y+xpm)zYݸkGY* K 7t֧zSO¼f2d_eاI^WfCQ:_S<.Ruܶ8yု)BE/ɒmc'xpv A, ` Bol$]yƈ0oqcLĪi %1jW.f,nz>*48^8QU8]qq;_[ Y}Jm.N!-1Ҟaj};U! c,W`Kt5r#!t.1͞+Wk&PvQ5U#DS1%ai0 5Lzz>r0(m|FrMj^MX}|h7*"MҀnӗ[mcL3F¸YJ}M 5YBXKvP{-Cf-%[亱LK\8v ?/ 7P 8UÐg疀nz{Kr%CMPd&_ZDriK4 Mg'L ,u'7%{05yކ*q`k@"~$Y*)ٚPV%$n7v Wcz7%.3Z"sgq":b"?hՉ>W5ʛ"v4!Z)]?0Uݻh/I~A*5InX[t'~.NȚv _5T"3r w|FzyBY(GEz˂ק! :Ì&ͪb7v~q00f B==W(sxb3bk#6YT]ݞ=v@@̨;edutײSa?_sȻ6)7zY0IFOf.ͣIabt6#m͟Ŏ\*|k.O6:) fcH0_jzmL,e6/5>JI3a'do٢]Bke(Tvi˛<ܫ^I/[B&YUZOiOŻxf{>'hp.=YbI4L[82Bg喥d߼(ՐѵsdA}\HudF'.tVrX@Zg"lEs㳈K6ė@s|Kg0v8LpKf$cRyKuDCau)6Fתef~Y.>17b^uuwX1rZx#5[S\D|+WB,v$3i6!F"az zeE{ߤspg#a=v;'_C@cDel7pFw!MhZ܍@9+6ˆL܋%d(-y#V!1#z/:.t_˜Kڿ ӈO^X4ס}JY%J(e;MSZ#/oT͗69N lf-o[B,Ra+%%_(n3g27#S25߳~ !A71ry8/"@`]RٿnR!VT A#8U,⢤ #|}yV(@!|()gYZ537aef5a35b09995df7d126cbadb3484aba1a1c000b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1d794962c486b8be2167e1483c98de73c64d1df2 d6f61e0229c78f3946db5cc4cc6f7e62cb6a1a13