SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info n# 4 ! Shivers-CFA:threads=2elapsed=32.591cpu=64.884gc=2.920factor=1.997zXZִF! o S]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL}/Dl:Lr\l]U6H^E}2)(r9Ӊ 1UYmH*joM}KÍ׮vN(FK ~$¥d=c<~6{x D(6=U3swA6a sI(^/H3cy\^S }}0ޘr?ӈkELVD?Yݕ_u@e9m=JmNqʡkQ\=ʛ%_)( NsA4r?LyUc+r%KnߘFA5IG # Shivers-CFAS'Dèdi.igp@`qxT΍C1@Vd !&%(W>WJO{dg~f =[?H5M_d}Y"@[ˮI4;?;AM2d ^m1z1^p=WQ Dؒ?Ejޛ3dN..lSI;#%N}P=L@)FQw{$70N: \\ǵF@FtDհF٪Ԅ 6zь.ĩ|juAl]p)Gg/& }C ;9M\Daì\-m51S_j4Hcu'_Kb rI pԤ/u`k7N ܎R|iǺ%ODiEuJ: hz[k:!oҶ?O]uSzF40ٲsdaJ5=y{; Ƴ#OܧX{i']T"Q ~%jz< ܷhH4_1+P@A7VIl96 S4vUx9u2$lVxRYs1ky5`XA]'yLn CKt-tm z)#N4'ܸ^,x:z_Nz"rn`mYGM|; &-dFܽAV\i.W ʺ3P&?0[{fƅazOF(8,:Oa.QM?юi@Ķ"u*yKJ>27Q;xvڽ<5(4Rk QXd&4QgG)mG~{B2vbT5]*{pU|~cL䝪+a )F"usTO˅VlNhѼF"nM(7p7Lb5ԝf5Zt[ Hm#HPp}yUYDխ('.zjsj1VipT_K1[[eUo<2JUWnkwZ 6iFSp'u ْL~*.PBCx2R = /Զ#U.8.R1LJD&L/&/JQ[CaJ^5CSk\,eK5{Q=0kn)4a9AUDarbqFTvE=%ݯ̩حb(Ny1dՁ,o?L*:h*-5$/69GKA4 ]V.>b7_cܚOz+LgYZ7zXZִF! %;]ŗXi%DQAP-jaTuX?q3܁t+v(uAQ@Lkft.yJe> G%6a.s )T HN?D˵"۞(YtՒ@xu{v#dtV"| cqqi͇{6q=<M+fx |{ [~^j1(UaDd+h5;n,[|M'y,w-MoTT3jbQpr)fZ}U`jX")^/)48N0,k~;fb\,YgckG6XlAG&ωKhhS\.Z(>R@^\r߸S$6PLmz#’ 3tHp!bqߥD5J%t^̎|{MҺI0Q_vu~A s%7Nij%cbt_oEH3#uHʦ+2T#{ؖV'{n1'-IfP09U҅CW`Ђ;OS{Li;x]0kTPy*:LǧwBy6t>7Ts_W$)/ި! ߍc-B C7^6 \ðILoǩ e.]5f3Vi3'ōLj|wF1WHq23BIi^1,ՠ$YC5ױ⮙xp 7&M7~fC})\QJKG o871J`\!τ Eb\$(gK\"‘ ,nrrݘhZj5P;33R7HI[eEPx.LjiY4-Klc;rȕۥ 5jns$;ARơ#d2㎎܋u_::#/YsS<TGDSd &MƒP?P:椬s}&%42߰)y$9)YxAưIQ6H7 <ҬeÍM4E]mC^pu Pd<1b{hAXx35_z>3Ga 57;9Qp}_&u?\(~&d7@8L{t`*H{=0oɼ|RKdm_8K?47B_@!?6L67Ċ3< ku(:w(dvh>a<%u!^rߊDGONTnl*xIY >)leLO+NLѮhP&/IY֞&Ag{.jX?J+Ɵ]&ʫHښnD.6G@OɨF= JSӎ(ݏyYʞԆ ]'_4aftI0z57Cƻ3E֩4r*"|_qڕJKwεCL1hP˼uq 8OjF2]*3igd6`ZeHMEmH|AqC53^^