SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   ]/ Huffman:threads=2elapsed=11.296cpu=19.760gc=0.480factor=1.757zXZִF! ]ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp ;aan9λ /F)]fhu7 `@]=TቄR|sjG>8:`*?΢~sI3R3!?~ wEJ^2[n>]ŗXiɟt0sϘ ECS>Þ;K gըHߎT:Zly^gZD|c}YZ7zXZִF! H7]ŗXi%>gs2ȏԮ LWmq췘,$q.in*BRK 2hT, 2~o0-5(OkzI2RT 3VWEH=OR!=ȺDfH L&x՜L4R>߬> > oirw|̴Tn2(ePW1 Ď}&"$'˗U{vgRoNi}M }4zluJȼq$$K$E[ת++5`ҕ;ɻjy`4eت11[ >9:sQDhW@Ui= Sk!o4:d;@|ǃ3,wZ=7&*7kɌ tw(+=y;E\ Zhtt*.2ZM;9 ]8,X atS6!AÔ$X<`ڝ iK2MstZ#E6WG4OU>$i1>6Q,%wbBB_b-̘:T}% G_8o99p)m=+T{>s܈-Ȓ5mܩb XaN tK'gB(Isv4 E= yNYQmi|=,QG/oJ4T\=\Kбh(G!ý(}秵0XAY˰@#hаJgnf.j#ئZ30RiwE0u{zǛw [.ձgYZ87367003252864dbe18120fe4ce3b8d3f8544ecb665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7   Huffman