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 ^ $TL ]% Fermat3_4:threads=2elapsed=17.246cpu=31.164gc=0.708factor=1.817zXZִF! ) ]ŗXf1-/6vRZ9EsːRRuwz0n1tzg`UWz^  ۋ$\`Ůdp3Ճ^*F*0 |Ɂ~xNEtF$մ0@ 1U2[轖3_YŰ ̱.8]p5_MP(^jZ ug=QS {"SY.^8چeS N /S&m+tkCޓs"مq+P1FX*@Rέ#-FZ?*~ h% %J݆WuKz?3xk_vjؗ!˨8D4"Ax&+.D+K N趣LF{E^ET\kcwb3dC9NUfȁe&YSe=ֵC82a[KYA?,.g#=>tnͶ_Ă$Ai8)iO@I9ȏ88 Fs'(ױgYZ7zXZִF! c]ŗXiɟL׎̈́>>^6:QttB`hȶsc4[y:f$gϴ/F Gƀn_c ˶yLBFx<)aAڥ~+BuM zm?@espt'Ճ0!SFЩ 2ctC@2Lj .*ZtET,a>*F;(\".#r! 0?^G4 -BD(eI S zɽн1ɗWm;}0x:wm!ё4hBQy ݷa >.`nuH>m(_6QH)e^jЬ~Hq C0QjS:0m:@|eߤ?]1~+SqupV6wit@%)m(RyZ!1}sd*! u&]ϕNa8>ٯhO2iH,//0bv=>Hx̠?Re_IbcRǦiȆ.Im8Ĕ9Rxvs|Ф)gs3½<͑$J |^`q)+*LShҘ>r#lL=mx{1hqd6eS/@Q~ 䲉*3mDc"k|tW)͌BDlRXW~QX(Gz&>wwݨ!@I4=)tM7z.eUԀ͏%l &]y[O]oMeJC ڝ0N _ j~5`XxYwC"ҎF2jGl*(үx52#&0P(m]3>!U8]7M-ihu}+0ʍJ}uIu l@ rr >$һt}@WtAo,uz\F΋{هf۴Ym +&s!(*Z\|klW#Jp$|=J|2 y 8?6sH1> Pװs,C]y±Hcgnͻ6)ЊG㇅ mG]_yJ]<`^LAׅoД|=`f8]]ϛےxl[N3g%_`cW2#꫱+GtNH0cp|JoCk֠9[WEk&!^| "6s@vU6Bpt N݀: Rb/_gXXq gcUÚ~~ s0;&8 ""A>*P]s5!P]I,jIN"u=/٨Y`eg*Fa0Cnjuf(U 6㺄h9үIzX2 n6EGR$[Ѕ-E