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 '  y%]Sepref_Prereq:threads=2elapsed=56.272cpu=69.920gc=3.468factor=1.247zXZִF! 6]ŗXf1-q恈1$1|-~xjC@c+幧 ֠{˕}$IOc5"󏠀{͘OOܢ\ ODF@/{u<7-3oS,{m[?~ 'ݷse (ͲS1wj)vޓ?ϏWD [ bT|n%& +](7.^9#Kd4@ yTW),ˊGwIlK*M5¸{ZEa4o֊ww΢orq u6[z6pP ܔ뺛ۥ:]sf@M9 %d|z15u66YͰjf}]ϸR0oèچK_M~+BK Juڶ2W)Ǫ@2RS\bPk/9tѫ tYg^*ц+-žu2ήR֝l ޣw9Cbh\_-ы y! ]yx ` [75zR%"շ@Δq ՒT K ߪ-piD|(. Ez+<'H'c{mŵ%ۿ73># aDN mݥ_AtChaJ ¦w37> .;0OAfr[\WvHx2E_3Ǟ>㈋50$p S$N5Sd=?HkDa,% \ +Ɗ Sd9cq>gP%{$30^CYsnT~1(ٳINvSLLIo WBSXU!"sDJD ml{gYZ7zXZִF! , E]ŗXi%6ի)XXhR{־-y85Sl&Y.^2nSINWcb4s2" *>]@ \g0#U^J˾'kD_ 8w&\ꉸoaoD{ BU*":%LSڒBʒ_loQ?%o +eabokHk{ٌtŅw,sGۓ6kH;*@\W8yM+ |TJZO=.?zé<)!RHAU+~ ' Sepref_PrereqvҚ*!OEEB}%NGenۓ%H;(2W4§_#$Xݧu:N"7+xug"& Rӿmg7#gBXRhC[,h}/e$Bi| Qb\q8 0TIRP]ٲcP-lyVgqbZ%"4T+'8o*kJ7)}8Ca39ӗʖ$xYWrNSd dco'x".fP:Ok* Z)M7*S-`~{xSZ[- W{g ӂJz087WdcP`o4ެAшqc%Cܽ=(##K ֞5rߍK.ⶋ?  w4"vgͽ! \|O}=G*6چBa?-ϧV͵*{A偩{\y :e9L4:||\ާ\B8,~c%YqM]m&-^m"C^@k03{sy@XzSjTԺ`&Xڊ1{ Ɩc/:z烊Nx[w,\X@^<ݭYN0˥1C&vIn Mu eKq02-8;T=xrQ BYM=oFH %Epƿ!N7WԓU- ol]vNW#Mh2@[ޅjFá8=QmkQڭ"C ǯ/Ȃƈ>Z$;Lsũ9So!/ -{*i/u*MBB/8}>=m& <,PĶ呑Enzyb~>(ASSyjxPl{n)3%o4T1YUcm׷t o5 >χj=~|J|:^R(ezGmjکl[爴pN[QH;4J.'U`A jMgQ 5EgLҗA<ݚFqc}PI 7'VmQ3~G A$۞/ ͢,y :]^%Eh-4IVLzdQw 0δ*~-Fx+TGNh5rN} 2(OKCO5>K`,RB7~iT Cxxh^0.xG i fd|Gޅ=յ Sn v>_wΔ^ba/Xmf2TԢ#At{.8&R̞+fT?Nӕ<@f)6݌CSTbD/hj(!z P*א%ϷO B[Hp/f}hb4utw:?ኧJoT,6b#Ԅa_j%(-*(6kd<0G>a +VqJWYJUhhߤom(~_E4W ydG#?JNQL6nazb0e FD1 (FBaQV;[rR'Π ϡrRI&̟ xJv )TS, %FC$?sp.Xtj@ W 5_ 4P~\lbA$zEߟ .Z\Z'N" SjC+oլ &W6O)]{FD+3M.9Yf&M"_wU[K cG 7q#Yq2Ǣ{ΐ>4Q PLHe3`5NjsAYץW8V:⒉tzz <{v`/qzAApn8 VfbכMA$锜|ŧ/12|bca-cAV~aTfj9Z&hi?۞rw8=S҃!PYU_5u M@硐7?V[4.]D}lg}lYv@U2z+Kd^dǥlFrۈ )+&rJzͮCw^k^֒bK K^t 9Va^