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 : T w% Fermat3_4:threads=2elapsed=27.543cpu=49.412gc=0.796factor=1.797zXZִF! ""]ŗXf1-/6vRZ9Es˒<=JT!u$:Ƅ/fB?h\{#PcO4v7(hKّOf̀#^iK`o+nXK #ozv_q1L_/jBC墪6$ػc}\2׎e@0,w2 3DUsN Q_qIZ2eFn`{,dx4#*<5r! {8tJQo[0taQ|{1~Upq׵2ƍ gb4xJ4UXRn\ ЊS ;1 >GA߇MԆ杫K&G@$10BET_ᦜLG h g2^hfwZvIu# p~G A0'S?^ZϺ=P? H+Oqr}v4&>, ܿlsԄ@q-Ү֓+ w0UͼHSH<7;DMDD'|a:Hc9f9.Y0AY/00E $+hƫbZa{ρJdtx?p $LўN籋eز%WئZ^~Gh^ z!]܃pصt~MI3esqV4Jf"!e':#՘2SwMO$js<_@s: qTЃ {f <E]|~gYZ7zXZִF! v{]ŗXi%=qج.AJ{?Ih.EbL*q:<^9n'}?^N0|,`/yΊdD*!d~jdAc1(_~ܙ9m(NCDkmHT^6Oy)w586^O+آNiP|qx(}RVuFoĮo;Q4[Z2=dq6`"@$~U$M/%F}r/ك:)r1JxΒ> LOD= (C `e)ҷ u@9-٤؋O_>dΓfHۺLIcZ@YO0PCp\"krsDpP ƙn*7vx vSy:ҺCo^랯(@1竕MZ̆=AD&(ϯxChN_nq7'nrf XaKlO 6q (@kR JZUtNw/A*C0lKBQa͹ OKܾl#1 /?cDC=UOr{EӺO#QCש d8Ѿ=>(sK"