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  W W..TK#zxٴI1v`#k{fGߊ '62NswbH\u/̘9HAh>_db!'%t&*z1x۾m   HOL-UNITY  CEu+̇'qkd*s[n(iCCg!c h?Tw$Qo9`l'Rr2v'FcA|' IT0ujalֹUty<o"ƙW*i9ss;y.3 N^DQ=,( {tP!Iwv)T׻>1rE9(mAx/ 2⪖/;1-B Yg!Z)–r^t?ڷ-G3'.th/o$ U:-Ne^ɣjFT®ITNJ(,<^PmC ^ޠ./?jh@T.]ɟ0twsG; ɮ%>yLXW'JsAtݦ^+D,{/~J 'q\$w!bku Vߚl!7iȡɉ 4HDDeLv>ّAʏ6&Ucd,Vg>z v,EsgENbKu6" 8H@*br2ZPRt'7Ørn ?:"a}BHoUe\6kĮYxF<ïﴇ:N렫M }fW<<1noϗf9(8rH̑!).23lKظ"T[B5q]jɺ[ 7rki =r #i! r>CgYZ7zXZִF! ;]ŗXiɟ1'x^܎} i1F4$yBܾ'z޻o$b[-ͩ$0#>TPsU&uM^= xQ/L3dTk\#r'J"u1@BFk }V"eG19-7A Y%,+-!5^Ao_$>&0 8'ԧ#ʄ/۩aܦ B\ 0x7@(~rXU_Z._y 4;*lDwZְd5NE rS[P|y b׮lνQҍfTVhM#VU'T Ry6-O2AMU? E4jP[d!umvgZrF.%3"j 8r "xjDgxsz̪f, Q 1,pZ&ؕH:hcT/ED%&Y %ۈRsرgYZ7zXZִF! c]ŗXi%@f8x1I2/~GȿIw2güSX߮^Nѥ ڐjKXUXặӝ8z Y0N| vU]'PDa31Ih!$KAAH^vKR`^RQSd.?Z"y+ ߱Z7!BC\"N$42[ 6hv (ܛWqqkW"qٱУC*, DD_Ļ ?vUseuQ)֩%8lQ]3] JmHm$wnX.%F5NKz }"sKmi#뺊,nnۺ6h>o%זkIn*ȮfLg%\~D){ Oƚ.%',И@{}Aj:JO7êvARd`oo*fecϞz,dvu"R'|[[T~Q k/Vjee5~UM۽; lMZg?M@m9Z-pePi*jh|٠ RD7øx}8g0^;6 ?[ ?.o(%dHhu?g92@]RlUZx&!olx\ThW(yZj̽ӖT۰v LmP 1n+*{O7"{{:`^xKF~B֭ƹ8["Z:ٯ̂{ybTgEw5,;>jNWfOG9[|G~a>|D7/#)kf?KדƳv@4gvAʲ.*g"t؜=TFzurYgoH\/OKG*0=|Zc= a#6Ŋ?G0'uic@2>RX#<ih^Cޭmnkt&΂,Eka=r"AyEK8JB*={G>ީLuOvƍ_ ­S9P61]#8xWƾnؚ,ݞ;2HLc))izo@y `iF0Qf/0KOz6m9m?X*,cd^h8U|kt,Ic v4?E' d%(U;+8/)9'Ym3*M O(uY , 4 E˭N@N`~PaҠnT˷]F)O>jfn mS(.FkXc Rܮa$f~eR+/=8Z8PL  Ƿ*wF{}M4"]!%4NCocBR_^@Ń '