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 LL'  } HOL-Cardinals:threads=6elapsed=6.705cpu=35.028gc=1.192factor=5.227zXZִF! ~]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:(1)]Zl+@(|TsI,jv%mn1u0GC<:yAw`M:-(r$BJ*c.ޓ§cFES'7𢍑ZbYЮBuj83DyB[;H4-`8Tfk)6$P?(`ۦyJ% |fUa("!C%.osқF.oR7*ա&K G0|0˂˺Xɞ|6rϵWpEeTGڋMlaVݔJ.À(mh 0ɑʐ [q<%|Ҽ0l9+y)y%5jZ; 0h[BThA9nOSLl 0w7Qȑ,9E1-06T' Ӽ,R",`Tw8-jeS)QΑ+|#NеzkT1k>W!(4h+U͕C/kl]T]| X?%Ӫ.$a;#>lHVG35~no-D wlpd4)ĹKg뷞xF!ї҃_J]O"-aPzWqx *UE ?O!\ r&)IJ-%cBᾚ$f#;l/3} &5 -/mJoBeWU mDNyC/vq>OUsA*[O8dV^NeE(oaǪ!i9^9o=^%Q 34U |7YR,z:`QmeiPlᱬ W(h:JFc؈Bư-J\mVG+AtSw,=gR,71QK ,ik/M fT}j.'RU:%V~NsְG) smƺlDvaT"&cDXW \*žIkzqU-1AT"m/;r x]J;]G]Aa.\)|W-Sî'»]#&Z:7L~UGvTj7jVV !gYZ7zXZִF! ! ]ŗXi%Nz1N&,2,l'!̅Št0IBWlH=!SE[nƾ* M iۊgN'hߨK!mW.6 mOȴ-vg; Ns*ʹ #+\%ѝ&(r%NSZW3@qg[wǬ!^RtQڳ'Dž6N'q-h{>~]ኔeRY?8r)7.Yg*l&AyȁW+8=Zw {T4 uԤA6e[ܹ.7K2~aՙκK5`ZS ʼn+Y т>i<< }hk 2s2щ4fe㌢jMGgXX WG7FY=G"Iv.ݬWDնף1PP) S?Kҭ6;m/.vTjvP({SxlGe㴌=sݸ(|@"(~N>?`/][?H+^͙pHBϱgYZ0cb6fc629c51665ac30e4c2f11b0c69100de6a19 44c478e7461bd2f9a5a01b0fedb2d5116c88327d 4aa82869ab6954ea751fa236d010ba63fbaaa985 682abf8c978eaeec90fb94d25398880210ff5f10 7384a298679a9c21d2d0f490f2c86a7c467f4ead 746def77c96904376c7d3a0d8c7b67f5abd49773 879b766a737b625d333234513cc20f2d942c00c1 91facbb31949a0430fcb32369bd6ea671b7bc144 9d648ccee25d829e46c58b9fa1f100ed6063d149 9e4789cec7e0ff12c72496f2e441c961e3e40474 a4144db1fa43aeb836aaa3e8adb2f6e2f710430d b2565d4660d0bcff3c2d75d02c2596639a532cd5 c16484b003b7ae40c2eee619dfa65bf409c6064e d52d3e20b288032bcb9ee8f4cc0ed38653ce9ff2 d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a fee4a8ccd578676a9d1cba2e49fc5b5baa9b3457eee406f597a382146d8a83fb17951cecac13d1a5 2317a07a5f3f22e6b314391286ed2b5e12af8474 044bcf8f6627ee06622ecbcdfa38f0b4b3cad119