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 /?l$ ]]Nested_Multisets_Ordinals:threads=2elapsed=74.141cpu=133.112gc=5.360factor=1.807zXZִF! K]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjg ] +k%kV%*m Q 7zp[Kt$oΗ ڛ6c5|pxU5allYb}8- *»WHDDЛRW8+s2|ƬhɟK3T§s=_i[d{ԳL\WS3'@;PR)@l Ji+ `_Z a7WK!-M/ɍ# 0ENDjJQ:{Sv8.!(^ FpSА.r,[i ŸpNDmo]qE Ӗ.꺨dSM>Sk]%XDwbŻ5u^I Sq77o-CCՆ ?2PF mD8'v>Djot.or:]HW A Ys; /7(H7&n<]37wAV/EzIг3#ƹX$䇦=eoLO[5S>"bvƁë;S7h0e swT5Lj}38 W<$imY%jm#G 9ӊ0NR뢕zGGBk~ F"?Rsbp}6g ,ikIq= Sos ^ [zN2Ri#jHz5%D^%/Xygag𮹊s2&;a_UFvzhTf++G1gu}rdg<եQ<2}%>[~Rl7p3&P!<ǘ JRMY?ul* +^?##?Vvgz#(j9C֍j7C k{b|Ј69Wz5a0u#xm}Ⱥ+m\?##ItMRӣ ?P٘:=/ozfaj/ H'3T<7WGDJէ Ȼ|38zx䁎AX8Ԍne{*CYǓr[  $y2UqV^K%vVDJPcU͕w6ISs@I#@xAv\:,'цu*FH >UYZ(^2vv, ?MNʙӥ^g;_DK^C}.|m|?.@6V~P&b|!Up|ڇCX OAdV2C,7-s3;ьH˥߃&vĩT~!~׍ApHoSҰ=}6.S/r|wK{O s5_𗊚"!?Pk ;6;e7%?M:{ߦ%cƫRp&'>M={;_eӵvts]LZQ)!gYZ7zXZִF! d]ŗXi%60fRAO\Q!v <8ս(X'\,ߍxNus $!.*MfjGjhRSbDF+NJQCpu+s'2|My 7V j_s@ɗrF?>:0 v<2iKiz]]/@-(\$Cg՟a!{o ݷ - ћ:a db>בSr#)N!Ep&"\:Zo ]f 뮛[,D%^'1`Ӧn7 4g~_&DZC.$Zͭ贡n%`!5x-#ڭv_WF+2ua73(KcUT>9G _J25H( sq6jkVr6tKb/S~If)ojjc8>Dj>_5Y-`!-#{h 9K1Cls6G_Ota&e0],co*t3Q<u#W|hW(oŠ]0H4 qj&]%Ѯ52f@{fju^Sލ,7qC{%G,uFYV+BwK??9Gy9Ty}IGA |8lq_c? oJJ." WϦvxTx->˭D~(M6A)M+De'(A$?.IE^q)-G:MݦgO]9*m7)۾xӢ=̃u)oReߑ*8r =9ffjz˧,6Vv'la_s,K8dT8T ^rrbμTĸTj l94# 4ij 7DvZ i@no_55\.Q=S32V9>]'L ෗Ҹ`I Y,WR>M5u3#{CjA)I{B*0AQ^StHib˧^sfbnFw Wi)޵J0.RYta2<[T MȎFáhp2=c/T,1\2BdtX;TrЩ[8zIqem>OAWMۭvwG0Aەv>uzVkn 2jgG+#)3k;“gt`z/ISvD'3Qxc_]Y) izBߝ$ m jg)) 1Q쏜 k]Zu0>IY+ DDECW9/\feVb(RuD@Y?,kϹDKlsLzO,6 v 7a\٠08tyNV*+a`5Z}QQWO+B#\*&u̵ Ff2N8g4PVFB ]@J\AukE2@3 6 H~2[_jKgD숝uN]I~֧-ڼ h&RٛvM-8ۇBGxLHʩzMe,|N ~((inŠ )ԍGe mƒN3g~*ˇ6g$8qP Pm48PZ4h+'zVt~8>?¡6=@طbb vo)cc [<[pډ{X\t hf77ZEwyr^.cTӇ i~LrkY`,THq0{` (&\3iAXh?(K|KH鉶y?<Έs-Z%[QC\ nv\;)o0,jrhkЀ;́Fn׺UŇG-`q3kbz0/JAr)]=4;N:+#mߪ?j^_x۱vGm Ä#LUc"m 2BWV.+[`\;]5 ;۲`#L)LaFS ,IPK[y̧£ӹIh۝;߮(m@dAVF0.N!ǘ,v9_$eJ//3\$sCs?r^Cʢ+iznp;bɎ@_(يq'7NTcX'm;Oy!>qiUIOY]TVb;|sãߔq)ja3 Zy&˱MjCdzy>DfsL(tWFkur @KSg\cT{I?Q*^;~^rZ7⊓ !rk;i*SZD\7sgdu4$I8"?E{+{ tv*3(h }ǿR~ ;4w5pW߈bJ  ̵Xϴ[Pb)@:"yH;Af=Bh˂C |5:XHh[wqhrپ5boӺ˞X{=Y2̱?E!u)Wm|]wwJj9=g_ 6|rM /@T0%WT e|=G/3@D|q%u#>iX} tj]_ %6fde׺f+6#.aΦU8pw5a;zԐkCgp!8ȱgYZ020e437630394c1aedf89b5f1a788ccbdf4da0e2e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 ba1437dc1a48f26750b87e8c70ae6f361168859c5b47a3f9158860b1e4d063cbccaa08c69ccfcab1