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, ]S]KAT_and_DRA:threads=2elapsed=45.803cpu=83.184gc=3.292factor=1.827zXZִF! 7']ŗXf1-/6vRZGq3۸,+|]-ۢ! 94Td# NB 7¡lRF%;qVit8J0}VkZ u>X5-@in xNc{ݒS/#f N,"JCz#UH^]b:t- `7UoJ[Lo x:L'p_^w.D8Cf"i{ P'8E;:mĕȥ#G mAzT-_T?~ {OkYt+$ “&.秮3;W( {|gުULcKH9EeU\#/D/EQdZtsﯴqHқnkNf E߱FK:"d⹺ Ü2ذ6Cko 25ifr<'l=/ҧY4" շmLުGVrd'Kl(c2fR^{l &t,Q X|3g%Ӽf.$+=٠ѓ3y6I_KP^M`m42JvZpFD ~KOdAGվӻ8Tg!\JA)s)P1<,q4/d]M|ٿ SZϩ "$~#XRJ!b . tn9D/Q # KAT_and_DRAHR7V>Ymˬ6`ׅ,DJ&b 8;^׍Civ2릶UܝNz^J|BH͕)k^Å%;;cPRQzUmr%an SK{lv \}P~.%$ăj LܤY94Y?L;#;ݩ*gA+z0ԋo(к&('+oR~!O~Sx &:Mq>I67̾]q8a'pȡyp]?$8n3d*Mh$|osES.G hQ|H,9hȓ?stG_B'ţ\pOQV{'CԼ~SG˸_ }H$vP⥞b|xLJ.ܴ6Llai .P7u]` bpvG.DqQD>a^J}+}o9U13 쵼B;R _zշdyJn4WLm)c'mF?W0v ^ЃG3g揆9|9ԺTp#=i<(KQ-b+# 8Bx0'R}4 mb7fnOA|4I;־^3( ljjBfʘJ ;-Kj>{#u4o$lZKل?vPVfFy;\n]eR1%#um*j&^L?]Ŧ&Wy8 XUh-VKXwA2bv},(UPH8L\w !+ZH{%)4&].l/9%UX!:N%m82e}ymQGu4O;a+π>)ngyOuG7eOc*L~e.+D1%ں(1dts֥F^&XYKB&z[GX~FlYSԭ6].}Jp ٣]g3juVZY];dUXgl Gʆ;̕K{`hcǕHқN.Y1RKvj(uN%0^檔J:8BdwHށ.q UdoҶaթ Om6EN|u_*JGۦyZGnwgʋ_}8~ϔ&?91YGihx0 E15tL/1B@ uL* /$4{ IBĶ.Vqnj,NMtpPڂGJTZAx ^}4ib2hT!@ Tм<\4tw-5C@^[ױYh8ޏwITXV3zt1"pV,x_25rG[.pfJ-Ҋ a }>Kw'.bF;}%hP$Κ!hwx'LnE[7ێy~rߖ^7]UK02'4Wk-JͬQQB#~LQPB lJOqCo!ܜ{o!#xjrW-ݹPKW]0Cl nT˞#/MyFQqfy&{l# 4ˇº?+ a `*םz@!AFf.@BGhk7bƟVNԸ—łO :^0}ZT` |@k}F=BHbBv]Sۼ cW-w #qm@2: @ ]- bP酿vID1Kks7q M4x 9*UR#pgO;.) 竫c^@Vsk mD^wb-XH),XU& p-[Wa5ATUeEK阨.c C-iC-lni"wۓfB %ȇfC AP 8t}Xby%#r:J>mS'1{• C 8zOQ)ģh RZEhdZ*KöIPy:ag;dZ%Em%*t.yI;1BE-K Qɼ]}_*7AKʇ Ξ&ma:eg2lj&l'LO&J3Gm\ı0e(dĸArEaGLd" ^Tt"I'D!tjM X~'Xn$lyGԓEy0Z܍~ZTKQa.n5lxiD B,X>_;Űa,̈́>-XIW}u@0rVvenK \0 E.:5Eիf P= +7'5hA191 %ytȡkf0ȤI63=8LϽ4$-S+VJ$ۏ @ܥlYdA2<(sNLP-7G@w1^'cDS?95Ջë`]EQHo e*|Ⱥ3$ ˾e(/@?g) 6-[FG*JV@gYZeb979d9fbab0f45add4cb7a35ee44251868c4ccba86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 b8472359012f34971f91d8be2ac721aa84a24dbd e624a7247034de6c2b234f179599c6ff544b905170c50c2d73e362e06a0a15b6f525192508019ea8