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 {% L M*V5<4sT=bjxyu_2[g0;L( TG arAqW)U5 }gw-Rb>*[O2e^E%= 2 eۇI ?7#T$tXR'76 htşQJc..",,BojZJ Xs J oΫGr@қ۹74e A"[-a 퉄_UyGC % Regular-Sets  ^b.]BkchI'91&ӭ} 9!~|t d(B <4wvEd]^A6Cfr8Wf6,4e9 SiT@B$mL1" } uwC4큇CPVb]%s\sܡ@Z:Zs>8B[FH_Y8dQCXA/N㣦6x] ] f#ΫF)nd*,-.'&^#xTȟ>wAwv1 p5􉷒O:|BNAs#gYZ7zXZִF! i ]ŗXi%>gLd7sּjMPT7ve[]VP[o&%%5kC :7çvelUð£TqsUyrfE,$7mI1 /Ƚ9rB L4H HL+ >n.zqnPWV.53mZ9$_}r$n maM4Uv\,u'vX7@?Qg{I ,8Di!0$8_CHvj"B]f SΈh[4wY렩' Ϯd+;-RUD-='iwbӺ;6^~6x"4Yv;!wne ".$ 54ƼCo%τC4BۍVUښK33Hw#KBڈ%]r_2ЍN; W#ruB"wmGFJGy'%,!l<ȼGk5WQ*V_Ͻ'\Љ:x#C˾S9z=#~2%b=1@Ni3E4;r&uPw$+$ò Nႅy ;L`lPVOdxӸb*\|% Rp@_ˆ>O8yhьg͘D&!ّL@\h\ ByST S@@a9]hR7FƬG Y!Ⱥd%0:4*bꞰy *dM:@ 7?lV~4Lރ,3m{t/S3˧7SUoy+QD¼SPR^BݎP&y{!y}UCEV}_E+,TՇ<6m:eo`o<؉oX:w0? $79цŚuS^8\y\/-ɕ7բ98?SK* 'S\: Cb#Q\IY`$A`4q⣅PGnaWBSFP8bj!\|su⾡($?7{֎էXbpг^_kx 9|5urH; -}JU2^FhkN0qXZc/빀 ?3VjY :q2f1H~}iZt.xXw.ѦXMs&}4t p 3U5wtHw؉S٭"9"owNyglv<B>9CIQ`;KȯG;p@=93hS;Y o++:i,ʈ9k JCZx'ƅ2RbaD"y|J C!Qy7OS-*r3BNf(eu^D3<;87]WzfJLЧ-e $_R6Z>PSЖq̅ч=Ynګ=W[VΨ3F,Q Tъ7AZaW.qG7]rրzݰ!YwJݱgYZe6e6bc9cdab370b772d20fcb9265174fbee768df665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0bbe61e1bd1eb8d7624d569ccf588fcfe19fcf949b