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 +- D4| ] HOL-SET_Protocol:threads=6elapsed=20.546cpu=90.312gc=2.616factor=4.407zXZִF! * ]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxa]Bs_b#cWY"nz ]1<,Ѧ)@&[,~P t |;͎Fd5ᕀD':"]zۂrĿB}(r BSQjGF=tEt*z UXJ'r[}盶rBz~UNۻ>޲4}<Sh@xfrOR_QV &ޭp9d(TN'ף|9>8f185KD<,Kh'RWiGNd>;HNay,xo4\EҚsq>(}7LD2p'?tVy>\80\dC| ݖSW8.uV~cxZ{n?*Cоó̦>ݿ TmI,u,|hyr'z#v[uM]߅]ٴ)VC](ռРdoi_}(Scc[S32dF{e95$b1WJ@!,'.L dC$Q`-n'"O?ΐV&/_6jѺK|2쓄mgz}+O°Ւ*,N4yb@s-=L#AL6EmaW | Kt-(2Ret#TUOVtYTꀀ?J>7 V6e_Cy䪫H\ǟքLgld@͝4{Y|eKSLxu f;TESgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTQ6G<8[s_uJ$-eAW'O%ޜګ~;xac`d Yc rQLcu~WeQWxJΛB{gu% #iJTzvܨ +§7ȳd< ׿oώ7ޱgYZ7zXZִF! cH]ŗXi%>l I.涒9 k2h~2}h++8{Pcrv#&S0G3ힴv==8O*7ɕk7ܝy$i'\dsc f,S6O7@'T Lpv38(x>9)tм*}G е [hXtQdrcMG=b)X$Oj:$Dt<{D3xC۳QkGv]+WʉNbסWFIE7Nƀ}rKzST&n3uTv+u8an`ky>xWz*'΢b7^8et#lĭ/_qձN!u*o6)mV`ij:@&$;lejޏC eJ暕RNLjT!SNeɂCrK%͈M&ɥ "FVnJf;B?B6 yu LwVjte:`^ݏ!!CBD @Ұy5}'dB£):`M;3XcZ :c_NR`:wOדՓKkj(5zx\$ڭ Vh^WOrb Npga`)f}~ vjg]\)!׺ OWծס\{"% jb1U8D#G ;.}׹fpml Ì})-uxl]#ݛOb?,{^a<`<,Qح&iIFU&q`mVm0ۙ<, zub7~^3 zI E/ ݳSV)$`oo:i`:"ls< (oK:QiZ|ݞF@mIɉ3Ugzr ~Fz M'τ #7G0~Lg-^ulV[a3Uim:_RuU|5k_Xh}rNWEPpǎ#d%/^y& [|C0xj9jW}ϵ4CQDOP[ze #Ucu!M)]R](ت Ry&o-JTgy3~\tFR[qXrbE;E-)|F6Q)-TM^7u ' og%R[v9O8KO 峘tK⾕q|<^JX'GlZW p!WQ܂;NVǺ:KoGNS\~u-C0EZUxiJ2W]Ʈ)Ueh*i"aN섇C6 9VLWK`aPx pB.S)+ tRSȴ qJ[6JI! '[T gS@SA!SJ4YJθB3ɺ2dy$ ƞhDPzNb0063/P*xY5a" *tw1sE)jr_G#A֘s&z7hd1e_ڥ뛘)?PR @՝Or$bSxY3%7bdP#%"b0ûRG*Vw 6s[JM g{![Y$Fx2Z