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 ]1 $< %S]Nat-Interval-Logic:threads=2elapsed=49.575cpu=66.088gc=1.348factor=1.337zXZִF! 6]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_߀D#>󞍁gV@FFkCyx;l^A hJ0 ?JV@g/Kmx`!&͋_/DZߤ }WoR^l$a?'j)K]wu#{cnmYKdD"UFsPb[;ŽOuh.GR$tUifJ|3FsT*/KE(E%oU$_$_1SɇK4ƌ;l/t\4nZ3,cC= 1 Nat-Interval-Logic|8ҟ+g %"rh]=K>Q*fR'ߓYO;nmxYV 5A^l$7*МS 8OFdژA^UIJ,4;5<pX[1Z+"z N뙞ɀGvĈUuk ?:;%r_0yXczoE4́nY&n"`8Ӳv&g|'u6Kmʥ m6yT qe{BUXYW2N6 LaHq9Ii@. S) B%꾘s]$ӇdZtm-BDZgYZ7zXZִF! ]ŗXi%AbuW,[SJZftHSZ5C] #QD[XbڮϿ {p*y-orw-~[l #2I\_ #$ Ľ_i4,Mc wz*|b>KֳZ0[PbC|K-MVc` tctx?! >DV`H@A3I/ /r.] !&}Ufz( B&Mh0:?ID'u8QݼեYrocX=FsD'M BN,qpfe@4*eKp٣q|lϨJ.I}0g̑J)3BaUM!P3xJi_+%}3D/}"7DVJ{8xW>za q T`$'Pqx/Vcqjg2KRQ#tMnR@Kkya~Qݵ,01 n/ +yPs;*TKMpep#bC^ j=+V|&_5T9cte?vIGx]Z6~*X Ι6#T "2.ѻo;G:9yPh(VOabj T㺦:p_Y@;z]q7[esJ!ZYIѡ͖1Ռ]-Ǭj6N/ֿmOwB-4-HVBud|nhX%s l^ݾEo0u 6 Ͱ'A`^_WF*Ev J EdHίA(F\B>vSi^}{e <6vVU/^ s6$0ӏ21g˨: _̂)LecI+?,K=YTܯ-:긃ĦDqNڋu- 9t:GlpE[D4Z0; 5y-<1{Hh19x7˺v %»1sJkKv#UJS$м |T}U @9%]19t# UM9Eδ2L{YdW#!ƾ9iZ}Oْ)jPm'Æ( '<9Ojg:׮+"SS<uogYZ01ab61f64fd5c45a27800acce6b9886e23c498cc 2610bcdcc5de299bcea6d2641080489c64dae616 45ae6f75f5ed99d198dd6591210f767f7f7816aa 5960a95f95a9bb6d8ced45988fccb935e84b0894 f82b4b01dd76df97e79e913d48310d9d32ffee34735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 6999f2ec545fcef15b70205ad479d219a6abf50f824e66257e5986f1148247f5821cd054facf94f8