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 ' ,|, ] WorkerWrapper:threads=4elapsed=8.418cpu=25.068gc=0.944factor=2.987zXZִF!  ]ŗXf[&M{z6b'(+6(3J6nv㥷8_`^v }oMy1,0o T5 ot̵켜$N*f ݂^4v E;]ErW1k,_gتȓx 5Τ2SCbJ w) <2[s/81ADjĢ~ih556#J:ZA$|=1~j8YC,R]tDc>$3 % e9{"1,=zUq'r:;HϾjIJ3Ɇo1lhiVi1/}6+Ga3Pi`b ờ1B܇M`'X^% 6l sb.SpaR (PX~[th eK94VS,n8@}}qKSSjӯ{!6ĉIjoُN#$)؏gYZ7zXZִF! 36]ŗXiɟ mLr?wl:bA8YÙ#Z{Lgj1R䣑 i ¨Q`i2aHOâD3"`zgYZ7zXZִF! E4]ŗXi%L x-r:M*T%USz:x$@T2{c>[KV߽g\z&a:HԦ Gve!x sU3o+`x/JP5F" oi25ROdIF\C_eں3-(bYjv7'- g>K];:|$h>7X~\ۉd`r0O›Rԫ%xmj Ҳt|NhqCXD=hWx' A~A!Ad,t*9^_nh0g@}E\$˱r] j gJ@r"$F$#|GߥQ'3کH몯_ؾCu_tx"8Ӌп`=*=Jz%ȳn${Vun۱NӳQe"ݜн㻣r|__W =pw(sBdOkl|yǾJÍT}SDȖ!TT3(_}3Ë2Ȉt*05a֏ N^0gGgdF._*{}D[,=^y)M$ztorۜl,H.vEaz_dw\ 'T#S3߳y"Se:6 fU(oE<[trvzTH*9*2\|( k,rr UG}Xdž58?9 [B=F/\xsu+.%%`A<O[Źҫ6{G,{́zTiܯE/)'ªO+aF-liW';?8흊]`h.|rZx)I-7 ` i* 劦f1w(ۑƛPu m"n*nCE5U#YmBvٳ1uUwM@py*^L0]?CZ؀G.̣C