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 2'$ ]S UpDown_Scheme:threads=2elapsed=52.818cpu=100.832gc=7.224factor=1.917zXZִF! ?K]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NAgro =-b|- &tz45j _%5ZstGE9-i6tˎ)xlL-Yc (T<iZԩ=weo߳ pS*@+ GH.lP3CPH;?S۪CoD1؋}Sa6Un]_<Z Uw8g.;G&:6EjqRMZO,4` UO| p$V4Ӫ2x&ԸDjy an~ŷˌN8}dj0HպА\G?bH)4܀Hsxs䰗Y Ѩ˥m`D1lmcZωPgUpR*e^%b,c>.5_/YjM2t-[u6t&5&I@˨x B,M>cYDպ54}*`=hZCR$0[7s_c&Kjz)uT$Cxxe iR?.}v7:(=dH;% #9gM?he-]_4q얼j!AIӆw#%q"tB tx[6fbܮ5M$H_GHQf|Gy*25f^3+zW"A{A=g;GSYFk&|R7$v%3TazN7fiC@}x_ؖs Ê 0GuuUY ^Z@w7a{2jc JJtv-A1uN`":yJ8ۗJK"nq0;yoCiTA18AlnnL_u 07@De)Hb07+y ad avܾ]ɓ=;S8-><ٳ{1K^.F $*K".ضW~0t,QŸ`4& }F%r;-ɰLZ@oPwLQ+ <e& u>,gNw$qG¦vNEQrt95`i$omѺ=^@KNW2'?xdwɺ&}Zx ٳ@gYZ7zXZִF! ]ŗXiɟ1J2oeTʹ̰Ko"{ ' UpDown_SchemeB>07-N8SNLΡFg4!Ra,c@1Z zRpKQ'ŜZ=b5n0}dT^"S4(k-kFx~q "q>cH^=xH^lṇ:?Z/zwKv{yn3m >K+n ,ז.K7k)p6J~pFì${VFռʐŪ[PbkHKTh_!IyXHӞzNLFIHk# s~-%T!uMtU5:@hl.Ԉk(J_YΕSuzGC#,+m[yU[bx"oLk 뀚?3pmamVTUӁhk8~9$s}2)!hxf$:9 _跀&'@f_Xcxo +:'Q0Z>S ?LJn64`2`Л`X2YT&3$'^' *di_~%r\QzÎp6ZΟd=?e3+ a'F&ys|/m<?|Z%\zi* RfDC0!qn4 7bfKҫO}O#O._+84$`T6>}2|j ѻՎ D"nE.(,"enG8`u/KaF#Cq E NC8)O ?(uH*MّvofpP<@W_qcEp87ZP3)=X#nE*@Qm1Rinːp :ݑBF!T!QB3=hZO'(l\wcJ; !tz nMg& vDoFQnh?`n6=j3]?¬R'ESvt|7Gj'4}2MQSJ3: 楪"a6ַĂ~@[_f/bbxy/4qcB̼=+*\PxڎTpwOqo;+71G"jdTXk 6bOwfe~J^gl| \t=%;(84m5*tJWR]p~YpޱY>r=UoVңx=1^&Q~ʙNO.Q<=- ɿׅ+jB߅Pۣ rGψcgI4_JY4EMKPD q%F`YQ}fY5< B_|ND;m1ٞ'" \uU锭#ީr,s3eݢu>=)c K?HN>] ? tt'suyp q5&piE(єKI>T:,R =!GT YOIWLMS X!4I'94mzzaj,{0!4$F6-n U]!WOCW0ZO/f+¿o3^ qw pxr iĕ$@xDozb_nM@srUm9e_ΩYf6ŪEZ}BFH^AT(b$ZtDsidi'Rz{2rF4[iw+ckT~qH|auz7'5NOUVfSw:: )f8 Z]gȯ}f?,%^e'+ lS;"YW?l֏I[^gԽ"GRym[$^E+4&vȩ|!wHE 8jCsV@AT|#jA1"(R[#f~pXrCiK =Bp{xlkD>uky5kx{sV&XcدϷëY]R|<䔏K~  o>o /3NHƹO0Z|dFބƦb'`LMg\׎R7 4szx֠P" R+ Qпkx΄>! Y췡H ƚX+#)_w$![ 6(y%!tЊan `>##v` 1CjAod$Jaubhn(L&âav#hkJ7OWI 蠛"oUsQ%ꀗ & ѝQh?K,BS IA&@gmV[V X bVV$#dq>*FZ$ŇˏFQ:Mm?il$U3^09!Q eUnׁUgYZ13c48eadcbec9008b17d8792424fbb178462366af4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 a643a21d33ebcea1725873278009917e0a504d89 9c593512be5eb7eb50d597df962fe85f51f09c8a