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 aa < E ZF-UNITY:threads=6elapsed=5.227cpu=25.304gc=0.832factor=4.847zXZִF! `]ŗXf1-WHIk0   ZF-UNITYp䋎dh֨/+aHe x M_`7bjd|@z6\lr$ L 6nz {E$>嶵V$1)A@f73K> B5 &]rmE@cI_E.`QC,&+w|ؓ" ’atZ@h2@9ECi5GhԉJLumU#m_OV~S+V>"@}H6r}nŸg ə!wH+6M (=t̬f}m=Gܔ ,c|BTD[{4/uo0wֵfVy Du?GMr3dPJa, &VsDi7ce߰vO! EY`wR>!d{u+w–jh/ڽm |NJ=b+%ܗ?#V}h6S& _8S<'Jm4͂] 9P=kI$H0d0.*S*Tʕ >j]&2)df$+V'@i`JZrk 8z/R2'}ڲ;Q'!?GqPLQG:1/xr8!K%:E{yia 38p('+m4M8dӏiv;LfH?O\~40p$Ry arFq( n)xryhM/6C.\9 j d`Sg!zN)U I#ۺ vl]|zⱖm KN%Qr >D$>>šZ.R<4g:Զ$V XS5|n@tC6 lDTPI!M:]7>&90{Y@# sJ|qYIy=hj\TrY_3OP" RAh5GwLXOs^wT ;k!2zXo;s/Kbë=({(KOb+ǒ1Hͩ5ҶA{ǂ18Re5+qb!uReyy,%„*x$%~yiҟl^"KM(bwJ qJuOR[5PHWl˒/* $_! Rjz٤ ^ax R6Kb]@̧^Zlc㧎lAG#V^4(ب)AgJɀrEXYm-e~ՐUa^G A&?Z¶d>L U|abm'mm9WNSt~C`ah4 ?ymu\iTAAd6^.r:|?cVsJ%[W̭U-i:S}LwOo,9 Ufª5w vOo4\{#gYZ7zXZִF! ]ŗXi%s,.Mt΅yN]u07#98z5j,?8IUXȳ}t+ t/nZ=$ToKĶH^(#⿎UCl]4C*qD:$l7 [@+#5L's-|:㚬aS-Tͬ&z7G &BESyO}dPt6CKÝKjqԿ&ǙMttG +ƯU5tj"TaLel[8v35=]v{| giLqs6kai(`7l>lJ\U4aɟm/{^lϏq B|v R歂طTaSH›81z3x"`ٽQNb2Uc7{xk )yTm-7\O{F k tFd"ÿ߆HǎO4c Xt͊+ UvkSpiN11A9C=LoQQbqm}$6EVAO pu ,OGH2y.s΢83DȉG! #x:Y4))V2,P 6Yrߤ-fNlj"67?^S Φ/*3`_gYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 47fb9e0723f27cbcf549729b0a1c4a0526548308 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f26c0b8e48614befe15a89b7b8e44919aa8f3b0885d ca85cdf984746fd5c233d2f734149e0695f3e732 ac38d58e88681ce856b5ffa8d57f208981bfca80