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 cc << _/ Datatypes:threads=2elapsed=41.417cpu=68.216gc=4.752factor=1.657zXZִF! dz]ŗXf1-)&$c)zaBcFeNT[ b^qSЧܖ^8ө:*T1Szalƈ\觚s(q64=VwCn_ZIOH/_Ϥ2=`udm28$RBaCZhPN3 Ћ [O^Y\"$"U,T-9fbdմf>{]m=3RwVn暤V"ډ⬿"H: 5@o# .$74[*ARFb-k'g8czό1H戥,*=ZU e;x: ޤo!r Hkgl=*1"u$o:D*KI An{"A]xCHp8\tƩ33|T3c%n-G>uHa""dm9\ȁ'Ӎ?rtt,!>h_Ȧd"0r288~cӤf`N;CD4` \HNk*ӫ_"j|_ykf6wUQC}5Oj)R`z:|V=7Ч]MZN6Djl; }YrfgB|#ZZqcstiEzҤGmq/#F~-^kmurkÝ>]eI]6@7nؓSOV_Po ph F)"sبGիɯEyjT)y?wjR]<Ǵ4   DatatypeskYNjouٌ4b0cݱI+h6"h/naglӴ:ɽB1x/V;"i}W*KSc_ض0v\-38rwAaQR l=*+p73"KY{.-+yH{ߍKa,d80*˴齢5xRꡤ? X<r9Xn+yT!D.Pt<[ͺŢj1g.zi`q'kJӣө -d޹M57F#]o߃ڹ9( V.FC\`+H<f??!/gA)RkGITwN\8Zwv: :GU?kbr~ l0NFll| b3i YyqM W#ZWwK?\\٧GfNL7NYVO~>@jw-)ǰc6EN|b%]+c+Xg@3(zU:" 7cDpj*3.[&#L2J{i~:I٣Df +⅋8˚` )6{ScAµDYb_^Y4UhcM0U%D|$biZIe4F=.?)Z%:$id3E:Ou?}:m>8Z3s9˦RoAx³ЪH^צs+U}w A?w .MހFX'GP6պrS/$af*N |T ×b2/e磖mާ4}+ȁ$2k+l8Z_> *e WS+Up4ԉO;>Rv}(dw9uQl?"&)ت 摕#u@󣏽ul>f-B1oΎB$% iMѬm Bpcu,պ-vU9~2&,^v]i~bL&Is0Hu 4iR,Ԡ$}|W\L-lʹTwŁ@((U␸+:/F^JOKk?F%?'Θnzế<`-C#2yE$*\c_Gw-~UwUsuq]/GN%Lxd:9+H#lɋiOP;S~z8}8B uA.,ֺS=S4~(@@PLk\f:~>cz 2Uf W|H&^ \EcDE< 9ak^ԏo{M3|_-<`ӖE+}ZZ?=y͋N IPf#=E5pgСfRĶ1LۗgYZ7zXZִF! X]ŗXi%Ck8YD[2}A)LR-! $f~'ó.Hq )3 B +W55&AݭTG;;M6O=WgpWc.10E]pbyb+LSst=)1 D^dBY^ΖZHH0&Ǔ;/lHG%*@ݭ|y~M:n42OmbnÚd #L-yz¾pӡ Eq yʅ:*8T?b?T**q1x hy9sF$Y>wj9o\oEk/_TC1\8" mhdӒy~d A]ƙ}O"gjsX ږM*ytXPbf]8,M*kO7c_vDhI#S~0Te.$1+l4wIL3yt69 "J! ? *f F gY:5A< hGm 0G4DU[Q`zMYq>孧?ueZ!*^O)jSjYcN6[uE 쮊 6od/WS֧s/*A3Iu1ـ GCcR SlBf/{(i7=sq,.Bٰs踀0UxA9, > ρ Ch:" )ѣL6/ݐ.i?0}QzW\uhԌZ^ :eld{]TcK,\1$GoC9HMuURz]=X*cH.Qqf>.{@y_j0@ssV8c)6bOvOW.@ҧ/S+\Lt<ᝢzVG֦% G <;FR]͔Y%W\4عkA􆼝zp6Fkн\Lr!512uv!p1ǔE@};b;Phy~H˳))=nݜc"3-T1fSWn^>׾thǝ،!8uT K OX¢g4 s?-.B]XXW=hƜiGȹ|70#_m~MKs`%Q*_OuX va񫒋J@fȹ\rzi#od֩FC /^cNQF|$|g܆}GԀh?]Trc\ۼ5WK5#bwڳwtп]s"r^`0/fRΘw>@6>NU~LIfǛC,K@ȠGd1HG|Vd҂.Hc꽏9:.Ek?v"5ed=/:u%X aVB*֔L:gYZ007664efb3738ca409342bcbf25b57d436593bcf 0a1c04aa85a9a243094e40fc947bf06eb5295a79 0c9469e4651698f44e3e228873be074985fc67b7 12801e8ee833371d95b3f173da5f7ac95c1d057c 28c08dbf29388b3a2809b4bab0c7bd85598f65a8 36545764fd444e531db13bf1c0f3ea261fccf9dc 41388104a4a5efe93e14149d743a56e1da702723 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 5117119a178eac69d137fb85243808da2d667eaf 5fc2bdbb644c2f07bf08dfa5c35bff54d955ddfd 74bc78eacfba501cc4e5ce2cfea50268ed7907e4 8f194db846e67a7e87b25a27fa8ba1259c4af82d 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 a438efea6288f9f4f15f7d643bb504a34d38c343 a634d2977750efd14daaf8018feb1fdee3310b68 b549213b2aef49e3da5304ab78395d90a826e17d c57202b4ffe9ff1ecbad147d413f3de8e9e5d302 c9a7834754ca020e75afb9d98e309c88e75bfb0a cc208ed3a7c8d606faf4ae986d288f99b98dfcde d7d6ac5a68cd81a8e80b54128cf50638a91014f2 da1567c528c0591b76c11bbf612dc90f71ec564d e98d989b0d56b347c6ee1a9d61645ae944ef72e3 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 fd2b02dded527fdedfb330e24b0df02361aff2bb8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed