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 ++R# D | ] Shivers-CFA:threads=2elapsed=29.189cpu=56.648gc=2.756factor=1.947zXZִF! ]ŗXf1-/6vR[]u Eߑ=;V) q4?%]ghW}=d+`_Ǚzq)>/i駘=@fZ mò͑8}I'B7{ì_ݴmLdnW+Or+$*Rɸۀ$[ ԬW \:,͂'{$oq]sILTW:%~-KM+E9GOJj}=H7<.q8ŕUˑnV츐MT5Ě`) j}&s+" EjMOV$TvgH^&Lƴ r Z)S gYZ7zXZִF! N@]ŗXiɟ1˦rnzx <@0+gMLA,/|&Y`rV΅G1P~ք \}Rj)wGMWdԕ] _<=oSN> X S{Θ%\ĂE:xB q[UFڷ;k Borzy;~]cOw3 8/>eHT 7= 0S Tx _~vM|\8IV;V{KORWLFlt:"}TgYZ7zXZִF! 7]ŗXi%;35|Y" gw.]<Ѐħq"(׸5#Ҙ^4d@5 Je>`eqT)?*z\* t`.{;:vχ^%sLsy8&.p )%', Y hnm#|4,[شT0"(DCi G#ɀv_j^5r5DG.Il JDLǍ79Vv\m%ya< N ͱKT;~ O{LinmTiC@y< 1G$/+iaKݠ6BOs%q/o%'oPh<{$'Z+|,y[>^׵h-,w&nmJOnlg㾑cEAP_koljqMKK2yGg":B6N⺈EHH5 bͭ\{NJM;A3E9Ό(.>~S&j]\ua>㢲JA+}B>_!Jl& x=P>!%2pVCQw"=X@'HR>%tk3MD*&L0WǛ"Ǥn2_9 d ~ƿ]u82qtb=+\}k*mh8`lF*!G1_υṯZp1̑Uö<0y; W:q\^(nsgG&N4 4^*3K;nO-ѵaɠnE\UNkZل;C'ݳXUZ≠F}T&Zb{,fjN%t*Z,@ ꃂ`MFI*n%@_(?[PD:T@ExfD1w!xaf+hgc.ɟH'η H*u.QXC&o VIN0 |7urN?}h ' DҘw/)¨H6`%_ҟ7jC֕I!465g)xPy;=ǔߨBå-l:LdԵBV^