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 VVLD ]S Treaps:threads=2elapsed=56.487cpu=105.160gc=4.640factor=1.867zXZִF! 23]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxV]?H4b{\σ?zEPw 'WiU˟5XbhzJ`*Uw%酪V.-%4^ơ_nsKkF[>= 𦇯S߫񟻶|p.>*ACoG (}XN2d$=rK? Ngȯ_B4-sZF`h{.Х^?&]J7rN% #BayDAs~0 L"K9,o0ryU$89&e9\9n$q6mlms674M/9: /G BY| *hNjZo#ϣ.a|\G0\2I=+@AFʺaU??}U–ڴ'I0:M'᭓ N>IҮmFRg?q'Ot )V_-;`0o!~y[lC#`."[064laC4eD48cl |Gy~Ox+NbL^$84yEݑH]ސ3`bN"pGU2aKHZ^jL IW>O# lSEͪi@ |L[pB 0e\l>|X>cռWfZeNVP)!vl` 9(˺ZųƋs3Z88 j5FN3_ExvvDVE1Rڼ&5uQN)YԉjC,m_# 96p׎;/~,~{ i³!pk?dn$"V#k#Xްc@/:m[qgθr^P&Ɛ*ƴQ0UV.z{*cl_''~*m _^6tZ9oѩFg#c0_1~GiFF- lq-^NpTi$RમdGUupս'|*ΞޭUT# pwGR\ h =Cn'O3dK6( d gYZ7zXZִF! `]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻zj@::2Ձ-d'씛`g&cϫAM@x"fI1HoV$ 7~{n]<`kf\//s#r3aXďUn?(x{Sd2TI&i.Ԅ)OXbFĻSXdgX]vbSS_D;> pP8ר   Treaps-Φ{zE4}c5yjit:/ Q]\ZM#ӫN]SOou mfެݨ 3(ΘVDuh \[|aGfTٸbq0cQ&j.$H'NB;Ƙ젣)F^kj)H@oh1wդ; N,S0WqUxm_nc*<-LkMb=rWrP}S": p'Z?Lۣz$T\%!Aec%y8o1:<0i~Q@۝d!fVdWM39!N:LAea+H+ )1=@Jw3{JF 1rcd|4kS}^T}keMs-2RQKx~!xy+ )DK}G Sv=(>YTߧA⪬DFԼ4پ\ݹJ@\ rGpL.:. HO\/nk\iŵ$̗˭pw(`CMӟ\;܍S=57=d̉[7*6k(^P|%L 7GLS.s*P)4Z^?imlޤ΅SF.?MTw8=Givr؎I-vSR L-1cw7 ح_PO KoŒG O8_Z V˨@;1!>c9KQt0z,TaڍřTd>C;(R$1K: ^ 6iWu'aᳮbw -ѧáĐÔ8^uwu դ^ieܷƨ8lI[oz:K.Ƹ4z8UW sp)uj_V=b&\; mvmzϑ'.Ň[+|Eůn%] {cNu^|6oDD{(/JǴyQT :5Oe6b )0 \IY_HY$?SF΄,e[U=p}nd[*VЂ64g_xcɕτ6tpsϪJ>~LV/z72Ącⱽ߱̎У1CI#~C8/Qwfz @s ~(|m5ت-&IXMaPF7RݶZV /KY00}sX!m4C X.D1F()Rj6 UpXޢ""&p#'VukJA4FvCTt EJ+'+Rl>v4uVޒsFB )UM.:r ZKANY!%{ اyҒLVp9O> EK*zD|wtPh-* tb%ʱ+.]!f Bܞqh=K []L9rn$jF]:nEM+<\/e마ٍMTYL|“162..wW$93T}+:OEW9iVa*F TQ]wBn:[>p$]%y,LK1`NsCP8=\/vF<&R=UL.N6(T|p _5^W78IlC<'p熟/Y?"dή{ 4r0'[,#F-ni%zW.gd) ^z+-i~싿1s^pǻЙY畃Rv`䚸/mwp^[ۈyU=!:}%K-.^OE,Q5?K>xp4X%E?Opc͵z#rhB (ĥDUG(Hnc4囡 #ߘŦ%VPu!sCVi4Q."6Z.VRГvmz (a{[˛'¹7fNQ I}؞ԑ[g-b/}?h'\Ѡب|D}Kl1[ZS "u+0Y~(Vy[P/Q{8) u#h+{ (Xfб`7PtEe)-CbU|rŁxC d&ik+Y,2]ὡE> V,N sұgYZdbc7d08f4b4f803af17920c41496c71b42fdd6d679d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 50d7567ba5f079e933f9c40588fc7548716f71d9 ac948ec914afd4b63e6792a895edef77d004e06b