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  +\d %% Cayley_Hamilton:threads=2elapsed=5.301cpu=9.780gc=0.164factor=1.847zXZִF! F]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfBc>w KL~˜l7K$a=c Juqu`c4j`)y&>"(c-ItaPXIz#X¯ZxygE[lls! gIP.{h'` PgH=Efu^D)҆#<లѥjb }tO3/%YRc!zR ʳs觨T]pNm ,[nE!%ݬ=,Q%\=;эRh >uCy NGa.BKGOtsكnF̂ܝXer Amg. Q p̪;Zy?{UuC[_ןW^Reu~5bxM4}|8:s(z7g WI?jxu.03*"rM/썱,o!ԭjDR q#Fn(C=C5m&'A#;4xyRreus2W! E;v_&hྒྷXp65shf_Eu :>m_Dٹ*ITT{@]'\TxS_ P  7?JNZB&n~Ejӝ85qarp(xo$ӦŚ0\XsxlWFtvɪ_WPΓdm'B`3HYSQ(;/FSd턶Q~XbJ@sK.yCR3NPrmީ:-!iuXY~l& Y6lxZDYї S3LPyێ(j^H Aڦac-}<&o8推 x)E\v&l1i 7+好&G:62s8tUɭbNxe]3ۧ宦G`cJi򛿧IK?iBh:v7W\H(aVL'%,n.¦s/E!G 0 Y%gYZ7zXZִF! #]ŗXi%!W;Jj(gQIqm{-J ^ԣD캸.$U̺>{]!U`C3BҖWYtG2&QY-e6an+\&@zmMxNh{@9YXEZ-Pt;: d )SJ1 ~ȗ7Z`9.ձF$律<rUxpTcK#h+&pWp|kp@V:qV=08qVvJAN&*_j*njT6e8T5)۫uV; d8Kcz}N'c^x1EVPGc k e>}#]$߽-|R}Q UyL"+դ,p(7ptd$AHCҺ,)H8&^]uߜ!F0%Yq!?臙VY1Lյ.ɋwnT(8>2yU5m>@25|"zʞυ ձMe7