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  t<$ ] XML:threads=8elapsed=15.593cpu=32.846gc=2.776factor=2.117zXZִF! G]ŗXf[&з>V=-t>&[oXzZ?FݑԟAv/{H^C1D,Enޫ)5|Hl` )w_0͇S#YVRh bCgmdQ#B"ih)Y@0kjQPeيKtа<̻Bzu l3QO*7s)Vr3J+*n͛ȬEY$-\*ZJpA,0%+Qu&m̈́*TsTzt=$ݱHvHW?} $Q35beˇkX]=uIeAɩ `qk.…\(oU/(4@$d$bYpUNYLeU{k;9ú>QL>;zvڅhŘa,c+֜[sX^ Z/rs{:q1'7hGk[(vd#gYZ7zXZִF! ]ŗXiɟs}KKʹb! +W9 fGFMB9XlD+On9?MDždf P;Nk]-fߡ0H(ߩAr5' DgrcW*Q#Ƨ*<_^9J;gD`&&qH} RB)0{W~)~*f), }ENɊcZ&O,-<عs 塁S0.*3t{E&vUCx~槕"L c!U[?F΁0T^ZP/| Yd@JU"#"@2|2qNG3E%)Y>z:z#0my[t*eP0MMKƮ.Re*Gr.4Wd3x MzS_RP ]qP@k 5MbT*lK.&ZBYFem?|%+Q3`hh,s,vBoF[PcGyG=/~#.ߠrZ_8?'a=<TWحpܧ^ڢ"D #ht3A9Tˎr.8D| uAc"809VÅgNemQkJBP$3NL9]ºlP͂_>0+#scGԨ_|>rAT0{% N/nH]\ͩmX'Įݻ!,EGV$m)ᡴr})Hw{Z 8,'DgudԶeςdSA搹;MyueZt+0&8I SJ8CvIc.N$N}fPL2Ӊ0IY|Yxa+7kT#AI77*{ Nn$GZžQOn41q%V곙>)Xi9^c0:M~J<9EMiļP^ôla=cђ 5ZeՃ4q w p| 1JOy1Age8g8fyHZPovsmcS/>f;8-Bqiyy$gĚcmzdu5w!)bڹ1\V+q܄2ԥ'&V04V4\81`֙%âj~Y _YI#my6P