SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 I l ]/ Types_Tableaus_and_Goedels_God:threads=2elapsed=20.013cpu=20.024gc=0.300factor=1.007zXZִF! ]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXTk.0u_h܅` 7\@H%3&5%F Rx߱>gSvBl[.hoR;;&OwoN,7," _/-FT{eo0g:fewҮ3*i9tDK3~mR$jMkN8|ϹȾX'a`RBIS%v(,1iRZ դ]dQ *i%X-*Ñ]oABlHPN9&`wB`PgYӬl)S\L er6z2}ڼD~*&4 [O%DVT"RRkW`iLT2N[i侺a`\sP㧟N`: Y;|qgYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7i`>Nn0z\ Wn.*}O-b&ч?~}O'T3eU%T-SP \df ̩C藭~zt Vq]Yo y<t!isgYZ7zXZִF! p-]ŗXi%924kғt<9(!U->ܚWTW ѭm ?=v32ūz0ADiGZ*j;*duO`i62gݹ#N4po=;'qUSOqc;+S;mo֛.DVZ;S-J=wrOaaOzS^:Q(S6 ̻7 0lƬ y3~m44=21PD^z(ϑ{\=ufXUʝNSA+"B_*+F 1_v2 rVY@z"QYU# [k}^Rk2P?oJz03䇁es}D5@}$7PXPeEC_{tyx*y+uRr ϵxLVBYOZjN\i涽ybcXd8 JT8e~)4ƕ<ʴ4u0"tFypӝo纠8B nwxGn. A>rgƘTqLСu4/(])5@۾$RA6!e5cُ# )%DJQ/+o^f֟7xjZg0l%6[Bt>Z)*cWxrEq9qQOW;qk]G7>x Вỵs۶BH N,kU2=IwK\{6OCV~aVxhˆ>ZѰl1ߚ译0wWZ]c#( ?suN>/T^˺#--H~P  Ȭ⽱gYZ2e02be4610edc0bba10566a34523d220c327c068fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a !I Types_Tableaus_and_Goedels_God