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 #  Sw Minimal_SSA:threads=2elapsed=9.057cpu=17.296gc=0.500factor=1.917zXZִF! .Q]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5t+o-a}. m''07[vgw角B*~vd`\wyqo|! 87lHg#{1UQ++5^a.L46]}-j&M {qzX UwtJP5N;iȎexUT| 4$ U KvT)'kw,aU>i0@ Yn8B3Q]>GxC Ht%rA(%Ia;x9.swg-nFţLR*:"W:v$:@ # Minimal_SSA|uV PlĹ{4M0ꑙY才:~:*U6_'zyƆ}ʓ՘it6KGk4&|(зf:7y HRv @%FmvW"@3c?dabR-J Ƿ批SD"`} :^pw֎{.Y 0] !W㻁%V`iOkn XGKKw뷡ƿ_HQ.t-\ (L|4عE)G|Ba0[`QA'hA[!;iZzJ^ ::Bu1sј" ZxMFWK𼬃 %-3E"S&>w/˴LLݧM wW8:)=4yk9-zB)#4v(-|RTYxyC|{+\[gYZ7zXZִF! 8K]ŗXi%:4f/].ajoᖛv|7n^bu/"d!Gp>x5pfʁnXmNP-6,-pf@Mfiwg FTVpdȕ%.Ͽliy?NO4O}jJigFrX*ęL&4|U Z_'<-_}ͮ Oi9sF$&,ʚ3A^|gT*OqxӦ G49]&8m)|bҋ$I}tz ,)##a+8[R"eZ*TZw)Y{NHm?p{9!*r c3n޿|CXro7*T؏r SCQ?M#vY)W&z Ο4.5I)ض4>﷞۷oTqUUz& t~grЍ'@7,P\B:5yNDY};\ h| aBy4-rY\ۊ;^ 7/ك6* j=4=@= ,`G?Em/$Ѥߪy:)Ռtt*6E5rX4r&=cl`Vvag踿j~vRs+0ޕRBvuB,=J :X>\A>{Gh2Qz1Ddxe[Ϩȑf]R]8eqiX^xjQpj2~ꗓ22/g [#ʏtS \Q*kj)ʍvX%niUsF&0NbzxLZsaJ"Ȗn ?{tʈyG!GEUuVRCCSV̸YWCuN44kpıgYZ724b25b25f85031217c1ebf4946fa63091f7a44a 83557b288c7590a9db2cc70e8f422158cfd9ed32 a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f741374878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 1db62621ad4f2dad0ca02fe9208704a369236541 d07b5b96533f030260cc77371e642f1847a2d541 2bae8fa0dbed7010d9ffb7df3f76fa1ed042871d 03e373268ef57d54e1e2e6a15beecec9e9fed7d2