SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 DS $ ]/ Noninterference_Inductive_Unwinding:threads=4elapsed=6.095cpu=19.964gc=0.788factor=3.287zXZִF! ]ŗXf[&zV 4gUM=кt_2w)~nH5Vâ\W}@GKNP$\=6p@:Oov\pՄUG{ ):;:#Y{S3OQɒʃVm@ Ɉ$2X(0zEB\;jp0ޟfZL%k=a~yӆXl_eܣퟝp^V gւOmE=ژ{gK{}vX=G$4[Ě ,(s8v\N(OMgg=Pǒ~ʐg>f~hg.#[LKNZ.W݀]!N^x{r(ͧgYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfY~ m02'Ԁ}[%U7Y G.4t)m~4mYwĬk iM\L/0@Gb)f(o32aс>&hq2X9v$gE`OyvcnR8g}y&Ky)7K\KP&D2@ΫSf0gYZ7zXZִF! 4D]ŗXi%B+J BTԅJR YJb3Щ/B*#T]Ȧ-~uPNP!S^Sv։s%8fr? ,+*Ydhq{#-wԈ eյaДu Ge*Hi.H6h1 x4z*3ޛ$|Ym:5/I7t oτLMs`z7|9fh*ղ>XٴJC $S<4nػupF(fe]Tn` N"tF|^\d0PN͜3*l}vg?SD:ܖH_h1nkI#{}+ *yn`6חwsaFO*-w'G %*K(ـ2P-K"p4%ڦYgRn'F)]֏vN ^Ee.)s{h_<+z&4"B~c^<+> +}- o^-\)g׷BJ+dc濳UolI?' ޿wa{;ͫ*nbU HȄDGN8[cÉ/@'P4ӛ37HUIw-*D\*{IܠMd)PBF8@MBIP2_US?RYdB;] G5 4)ZhM 2>0Y= I)}UPR&e˦zf~'Ǹb"gaFxRT`R]X>Whر+_7^}k|K-thǭ@l$۠;y&0h:O0c8Q,rWщD[>I:5g+?­mM^P/