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 1 |,t ]/ JiveDataStoreModel:threads=4elapsed=10.725cpu=26.792gc=1.072factor=2.507zXZִF! v]ŗXf[&WQ cx o/#Lq ^CtjGCfL-K+a*F:$}{NfvX)ݯ¥@ z꼈JqC9)*>$Wanb^ ڳA[U9и (L$BwZŇb/xђ͡m>n!#Xr0y<"1YSAnFFxI;Ȑurx.UC{ udV-:/ z;{kVDPdNJ Lf^'+(HUzrr]ckETR,$k.^V]qZAbTzMhPg%J_z%R`Y:=&*?gYZ7zXZִF! ]ŗXiɟN$s2a§2M:J1!J4ʗ R`V#{i8p,B 5(@~yohe--H"[jWqkŔoÚnqX:$gLb72-Ihq"T 7*U&cJn5ؐY-m[͜;Gw{r$_]\=P]M? OJRڅYaA6=cG$7+:@ WV\ih?[<gYZ7zXZִF! V%]ŗXi%B >TktD؈ Ö?5'^lǔܾ;nNn!o S$Gڧ.dTBV@s `-QU`n ?HHYpV|OGA,KYtjj^# =b〻Y*-4m$UJ(4`>w+H&at0Ԣ$mX@=cdz8G6GށOy Kn(N.R; 5)2`c t/l\h/̼".1']8;@o}=jrۢ[Znkۮ&ud;~R8ࡨКhtᨴsMrjClv40Ö]P @-6$p`9x54L.l㖌o]%}:tH(<3_>L:bs V,ΤX;1^!Hk p ʻ0:8I"Yjxυ@[o߶HE}7FF:fv@zyFMF*A~IâٝYL`2tv8rljan8<5m[|D^H2럅-v;WgDۗ B#ڶLoIUU@[(Ke$~zzަ ւ uM2OȊw5>[C-w֑Kǡ`ٴWQ PH|G-B7tdms]4oܔ7!` Ã0XU/hi, 逽w ѷYy8gMIU'gh. _^1jȏO0!oKJWpE0Cgɺ@{T /Qs"1V^j>p 5;ķ(n,Cx/驙H6wcjJlW *I` ď7ZNy0B|7Њlvi2m>7@>xp H\J-%FyWע0; ӰٻP4+pp@39r1M51H