SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 95 tL  Lam-ml-Normalization:threads=2elapsed=10.001cpu=16.532gc=0.852factor=1.657zXZִF! 6]ŗXf1-q恈͐7ӺV7V(&;k ?q\lΜ3N>Ub0zljDHR E[)-g3eiL߹147!>8MK?˟6h(AeUFJĥRBYc17PMMsdi |=um4<97gO Hs Tvy%~P?t}{s+'9w@{K0 A%TJP%0:V4Y"4>yިrqz'qIyNKYO/n52//A|Ɣ:78_r+O/Y&…Y]e1lD$<"׆kV,#$e}ٶ>e8;ދi0 іs "X7N o48vӱkhF咆cl3海%PR4"gEG6>px.]yA;tj[`"ٔJ;|i1; LޓTAOM㶗ᦸ=%3#dWOec9Ѥ⛾6>T;sS4X 1b] gGF6b,J瘞X@AѸ$SxcN@&3tȃv߀Fp|nV~:odXg$B@jO;M~:5m0}t F@rmDji`$5csF #.x&ozAQ 42`[薔 ݐ>֦ zI2ᵻ{wz2RaclSD# lP@ *dOWUBѮK#U&e~ax `msl=A݅D8 $Kp0Bdz3CzUgQ%>4-br]l`d-?̥͝urqקYCRM>xYj^MK{~ K{J'8вԬP{a$7gr1o,YpL_zd *7&[%yIlm=PY\6;σln'ZPn3c͋!2{H%*6V ~EW5PU|`A̞ik<| mUeαgYZ7zXZִF! :]ŗXi%s Dl['/P[yh҇"HBf)UCɞ$ɜM,R%R\0ua]"4V0%$uOs|L=Z  &PX ܴ;5-]~ՠ J">w3~^l鄝< or6Rtd }f=m\PX=.?8P1 t!\} RFOWR4D>kCt#)P7kYn$/l4;Is:eFFK9nL4D9#qm{3fڍrԱk^6~tjRX;MH2զ% =jlk}ՉG}pDQ@^F 4~ $;6Tfwޘ( jD30 <4դq-ϻk\mߜFM 6+X#z6^ɺnsNR^(4}:9恆H|LX U` @8t6`K DwI"=CJpҝ jat?ߓZA^)"Sg`]'Cv?fCbӳ[l*8tZG w ,%ʟ2Fܝ@6R&2b2 .sߖKl*j͑9a4pAݩ21ŖA {Ё%qWqZA;N$jC3C1:@ 1  >#jAl&GY߅x #1a:մ߰|93EC=L JV`p#s 8sPȕY6N:(.SH&J,1uTeHmu,%|x-/q&w/Q_h sxpg.E!_Kp i0vIq'1xқ%3<u=gYZ22153a9ee83c690aaec55d637858de1d3e4ec0dc 41caa02d23e239f82f825159faa07a2ce18fcc1e 4f85195f0384ef3a874c12c5bd663375611937e6 7cc7e252b39545aabb4716107961e3cfdda9b61c 817de0e320dd9640c7fad5af9e397d95d33e119f 8d065f375f639d3b9a5b76c07b27058e95555fe3 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d4f60f18aa580163f9123b4864e1ab9c83a94e8e9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 ade46ef5cad20837b0a102f7ae0ae09167144555 5 Lam-ml-Normalization