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|D ]/ DiskPaxos:threads=2elapsed=52.143cpu=78.460gc=1.360factor=1.507zXZִF! )=]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21t(+-(YBQo;(MԊhhN _Ί\7Iϥz:0U[eFl*;4R/#ٛ@a]g$qN1Ʈ] @<7ttNQ:V3J cR=9U3MO: !rlyYg3He" XME[Bqw(>'6_@';`-ȓ w쨒S vn4,̑ Pg:b!qqiM?R#EDa27j>xj:Y_w:)b0ء    DiskPaxos  0o~w'9wed,5k/liRΨDO3q9#FO E Ѹ?w 1([yuP"Iw>P%ZHAiS]G`9(WŢ.P~Ǻ@t]:ݰJA2t Z`V$Lh 8 r:V$J_H%}UN!oTK@?1$)2)TNz?rQK>DUJwVnkpSejvUOL"d<٨ J| lW.!P6xBnU}) ~M(]XͪIWTL2VbohhHOLyAIH0 7j4Sd|'t -[ vmfϝ=wUArOrHs@YEݥ lKNHCy}% xT Qeyf+7?+r%Fc{ n;9RhSgYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}SSc((h?'nVSwxvfC sQmM?/Sdo` _k&j$Rtn6)!(ԅnsL|ı⻂# l 㿖-p!3`; gYZ7zXZִF!  ]ŗXi%>gE6G)b!XgO`od> pU`[(5ѝtZTSۥ(>/Ay0p,U*䓣ܭa+q]壶RwTrP\.:'9ؐ=9y,cQ}NN?X](|蛸H6z^\ڪ2JqhMvm#7/䗏ġ j߁^fF* KN%uEd#7pѮIάTy5dJps?6 h_gYQIi .)J5Q $"nz3N ISk*].$﯎&0z5(u&*)ҋaY^ZnyPqʁѦs e@xz?#;"MFv>,def>Ɣ›} ZEh7Z퓐p53oSwwhq^pu/tŲ0-@"' ЊLQǰ}wR5R0,W}߷v{=}D\`-AZNbǯ26MPmxk]ވ߼#`KYbANWK>Z1+äUXį܆y 2}&W)0/uDo>VF,𠂔1VUd ip0hv&ꚿ$te0} p.n؏7b|-Q(fƇ: z ޛ,&A $&aÍޟDѷUPR>N Ђ] O*I>![Ƶ 5%<9l?}NiYLGa>TMa'aHF1z̓)H ˼ 8D@pb,U7?Hc6d#8n'? ':Cf3E^aV9"m>d /_!0±=6_R{\du,6O L'e [M6vg ;iY[@>( jd8rEhuUۀ?Ftom=ad7' 0 ,*ȗeTo G66 BBlb?ʞM{cx _dk?\?+ќw>KVC T31.ؑĘHm%zx{7_-s6o_Uony讑(Xj3OOat=Uت]5l&Y\4[fh )~6el.)vm VF&ɔ9sxqTS-2H [Dg±*JJYU:v-,Ô:f.:t@:{{g4TN'֢yι& %(WE*cf /ҽ$ w3%eぃ`֓%%ޯDǴW6| yQ?M(?+B~Y?7^=^4@FGq G^:ѩFx<#xd$⍩*vi 9]C-e}F6C+I^-83u ~20}|=OKt$I⭱g=\Di)nyS`O&j583=ΤShmլT u k'עm9E;A@\b aZjd3lb30cGjo1Ze x2ja/su#A2#[ M.okhO2A [488޵96GgJ[.-66= t!30F +*t> #?ȷ!Xܻk)P_WANBg5 _ɞse]4c]y`0ryOhYYXKuUǩK_I'D3yU Dt-žbxtO2u ]@x v6q2iy3W3χu=$ARk?h TOpTob` ٠U.763~dg]1 ѡz<n@#92Nڏ04sq*ƶ#tu?CMw* C_w)G"O(qu(ÕVоhgO̾W"heo$ѡqzW3ݓOW0?e y-^E|[h΋ J&6ϻ f~sYHnkkEV4ckvtVBcDn2/?"4XNtN@_.x3?[-@ύw\ֻ~?Ia;IV[d̴eӀ