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  S S1,, !/ HOL-Hoare_Parallel:threads=6elapsed=63.088cpu=317.304gc=3.836factor=5.037zXZִF! ]ŗXf1-qSp~mŘ-$aiIf 3MNv.r^[,=*oKp'bGv7 3G聸ؐt$Qg웟ӾY)&07ܕd4 gB~#9Qg)XKoj|fٟ[s@`<$iec>Qoُye`]GD>c6!dy+^C6vFm;gr얮;G:֎t 8D; =vҖN-SfL,X#"AH¨>Q_RQ Xȴ GE8 aa|H |^E't!$iiYK M1ˌZԔ'V  c8<#WCH4 fMcIrsh*#Vxu$R -2|!-B!ĢWs`T^N@.R%S<9T[i R,Ǔ l񋬼B:R@o+SFoin&ԄkA/]]cM4vOePU bXe^NP/w?@ޯt/#-CM-^x$]sCo8% 'ʏb%ر%xD {/LG$jjRwt%°X_]D2{:1pZ 1 HOL-Hoare_ParalleldQbD:7GĬ1+SY2<1܈Jۓ;F|8P< Z>~Q! f{(oMe 0E@]`w}R0u X~Om}AÃ^z ߿YnˬR#KYU7VnͰ\?" ù\ùS"6ݛFuܐ RDy٪mG; CV M!%ѠE\TQ>24Eg>Hǎ쩅Z:A6̫y,OaPCN| t$XS'<`>J*7WM!}ߗ#}2nUcmX`8d{e_v~ e+GKx;-UtYRj9Y TjH{Ov} 7Ξ|ݝ[OW Hu;xطh;@=X*&NuDSTkY¸(tld l %Dh_\2^ 1"G"ƛpwX\q 0n#V2,R`§L1O 'g)9]ex[ '3ʍA%N5dc]QZ-ɡF*b$ "d"1$G72tdָc"aMRNݽ VekDI-ڱn#tJط@3UG;\6sə<F'W:yi TSX&JL}M`udճe&,\=eP|W!ݑqè'(V.O3'$b[_,h}W?hv+1Koׯ.]‡hSbl隒ݮ<_OlFeF#ﳩ|b8EKr_$+[ DFO6ֱ[M &Yg.oIehF(QBRu!PvW v}0(D5ֺL* }I?(&.>XCB<3q;{Z Oچa56pIj>gTeLF0^Ɵ׃h}ZְJ%**1!(`K Bw I S,5 `1$"ިU-BFDndu]\ 7]Ï ,e=Xdn%}{eWwzCݯ5K/RLt)&i6 }"zMìE 'gB06J)0և{BZB@ycycDNxؔĂ%TQktMDM7JdZ""3 eU*o 0U"zEXAI74Pm}u[rՒwT7 @ ,ΔZDј'+8[$途Qo }"I춻.ˏCr{񠭋c?xaxiz>" Ũf7\OEep³x)j ^]u1Jw]Xr[ĸ^v4Ы6= ޱ(Y\MPDU)(i!:yz}GNMԏaJ$V)ugǑ-9ֱw,#\CL 4wj)& 7yJ<'_KM[:gcWM$&~R> %VQGQ{V͜T74kZ*=x1=n -iHr`92aRk W݉H-a.:VAoZzgi}&|Q^xb'qi$ hO6zt+=d19*0 W M$MzJ=L;@*Q Œ$Tx/6uQ%*3қDdmF7>|U=J6l~^Kh-61^ka"V?IA~坈xo{lkm&*C2 :RkIU __&c3ݛ,*>u51f  ]K֏ ?^4wN7*gs2FNNk> -kXu|j,&25RT?"2vJe//^@߰6iv~ڥŁp`F f* ai*Sm808?p4p.JV?V`; E̔)P'IrLOJ͍:oSdja<*Qy#4iݏBaڬI4MvN4U_Zh?DC@Y-Ε2l =O(fXTvq/PE{~5D-CǢSZ@GHK6&W`\q7':Wr|it}aOa1'z#V!;f NSoqI(z0!hp11Woۣ/}F[Fi;kSkPMEHk`Y晒E)1EHfQ%5t假-Ì܌2^YNT\-# ji>U@? mkôi A%-y5Ppz'HtȡT$!m5]Q?E>ZN! *ztؘR&uX.79Qa:K'8)rKdkʶM P:E[gUTi" 5]RfϦabS\IX0k*A-̝Rq脹ݢ9neCUT9AbVc:g#ʖ˹a( ~z!sJ<1'(Pw$`ae.Yyxy- &Bה9P, 4}8$ֳ[UZݺ=-fRC',GCUC,T49MX敍Z0fDHkK.Lξ9MQ WYMo8&7% ]m"[S$Gg_z4ЎhKTo=ok`xEK T6f- /Cw{i"w4!_U 2Gc% or}g߯oG<)Z cꖧbyڇ.ZcԖAO/xzV uFFe4pLz4rW8nfP:xTiIlqDE/k{[{EY*N+!mҋ{j%x5|`ؖ\i`zu(w0S@$G|2 u:&iY3g<ƐF~@.ݗz0f̧#b3J#ѐt ٍZcqQ2#&8X4覃_q ԰>Yl6xT0M,uQ\upH;C#C b2ֹ"L&