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 1|d ]/ HOL-Hoare_Parallel:threads=6elapsed=63.646cpu=317.636gc=3.856factor=4.997zXZִF! u]ŗXf1-qSp~mŘ,z :3bB$֮GX[/ {H۬_QݠJR5>+f; ^HP,_>Dbe43HY m5zx *qPHoeϺov2gKu6X2T:?MMU˰dLy~G.\[͌ J߲l"W'>V_wȱ?3@'-,RHioRW:3R7nYt};{пrU8><#2*fbhkp!6\V[MKRa/_uGZP?jgtp +m9"__\#k!4Ӥ O\S]7g?x2ZZEq9*}k1RTPxQUbXKh_Wm{؃0xoN! G)hT!OS  B iUEi{U;1ma-Sa xT B>~ƑgP4!V@z5a7Fo@PGzSۏ?Wtb0iB (gS"v5 dr#k|9yk'X C*ug:i\Q!2 %h;q˿Px%A.B1? txڴYOgYÀcyֆ2[.eJY؜ txSjTli8@#Q>IU!3_^T)Z'Σ O*"B]]r˄4 [R҄O]Nlp\Mל|~U'wpQ$ oi=#=b(,$]U@_ V۞hCFx#jJ-H\굱59QzB^8j<7/Z/Q ).\Mרg 8Ӌxʹ~q`Ai1S#N%Hxz2ݰw`HYl"e:eEE{cBKZbI,vM phncܶ$\̃i%)#Zc+W7cU_;˻/ 6HPX[vg5i& &)_ArTM ,\ WfY{оd -(|ٻA}l0:d?b"<:KJ q8g,g:`R"A9ݮ|-)igzfn`i4q\y3"(;C`NyM5ؐ(ne0*,^>he)~f6do"̰Id-<4XM@5AKC-xl]t~`Xd݄-I ]`Ժ 2$Zs;t:χdҊfHֿG}5f055j4x+)Fʋr OcoRGKWY_$*} r'VŶ2wO XHT0(%Q|4V:T3cZmHС&~!~ zOy⌗iDV oI%6@{,!'aL-v#4[(=)p8A &^nᜢ`=;>8=5e+TMQ 62h(-噤;S2G$? |z?LX+TiF1Ma, D0i!^I:0]#;#XA85U€—yXFB# YLyJ5ڷw n%,>Ǽ}c>~}vϡ Tv6k*A(^XZ vWבz 2mi?7FGOU}/U6 _w1g% rz6~.ßGYo5й~/p}%=+6[@BKb'1E'I_% &\br6uDz7G%%QݛV.ߥͦJFriO&u25mMġLgO Y{rD@o{w+@;1l΍Wr[GZd Т? \c5~'n64`|GQ^WP7๭3yF'qTs0'mжEy!K]<6 \3xdfb2Y/pU =j:CYgND< #v)>} "Ȋ 1R2:OyOY%V@R)0 FL5o+?ugOD6{N-yq'7$00E D|6h#.VD9yh dUq+(Tr,UEa+^Kdkf6 Y>g49畆RX4&ZOP QNq4Wf<:us@w,`fp7g߷!y@MvpOfMQ8Z욣Щ(Tϱݍ; # =!qV($-h!^*=g E-~NV$~_-bQ窜˫ND_AV'X;u1JU2vSt?02Wt‚ڹ|Sn:5WKG1nnX c u傱9o>PIP)7,aȽ.Jj kNpc~ @%Lt~˂Zr9؏pI &ʠ܌MAC5_RE7er\wfp)U!|^|q_ܡ k%e12#Q&wuG<~3#iWYb̥ m<L"$qۡ&wW:Xl}LMD@~:xډ߂n 4K*f\g>B93qڰGY."$aK1)7KDC2l_YG)x7n6ʙDҒ4qh+uYIBݿ[T)]MZ5ey:wĎ"շ̠ڠ*NsOJG %_@qz;W^>9Y#:MG$ /ɪ) ud,wG_J2eA"ye /X ەz^$ G4 EU8 7)./\T%xG :yCR@foRL-1[!DCj:gfrWQXQWY9lN* B~}1ʹL'bcWDߖ.|Be| x,)  ,L l7V)"G+Nޕ1$B&|=%̾A> tzV-gՒ-Y K:HWb6&OZg5U*6Ù@N=GOn3R~|pUM!(s4* b84xNvm0(=8Ywi[ew^@ RCc+x ЭBK`NqŢܳlc(vSh2)2~