SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 A/ , ]S Monomorphic_Monad:threads=4elapsed=35.095cpu=61.428gc=2.544factor=1.757zXZִF! f>]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*`B_LSj1Lv]rвՎy/ڕpU`җ ?20hj8Rzz iO)i˜sQ| ~c-w)bRmɞp2ޢ2OZiW|5] WB{hWқWo#FCtH67YAE ^i%av;7L>}^~}SH#4 Q)L$z ڴ8)Cwm]I / Monomorphic_Monad  pNuK8DJq.h4y6>%,oIJEz8˗ڠ]0~L!!91BOs ^rCL" :<nQ%/B[rIChXB@p'EsRK^7cgWT wcBCs[/5O}J؏j:Ơڔt Rcg4EYA 5rgYZ7zXZִF! ]ŗXiɟ1˦r+odo)4ڮ@Ffvٍvaj٪ θV@Hw;]Ň(䗀#-nHe_lס`!D_@+ @ǿ$.n8U<{ ̥Х+ v%\_Nt͒$b}&7C3tJӄ-̿v&-?^FUƛf8dd.7gYZ7zXZִF! A]ŗXi%B:gID$ U/>zCV@k1|m7q*7k;AAEX۰A$1$*!${ ANL̷KLǛb7t>w3i4ѡ:*;{/}MFyw";c =~Yg`q㈊w @bSq7Sw62R^Vn=2D,\ qS q^FXL^8RYks@~_%d4\{(F샇v|4*m\LrWq*@Y2UU|\8ztk =%XoL]kjE~0@e**t|8jt_ e}GŜ+18,ga=]g,|D҃(,ʳS֫e܂D6ف/Aoי@s+tBIGS9ْLNqNK)=Np<]7׋_օ 0ɡzk NěuoFt) 4be]aᓘ,2َ1C>@MU{@?3}$aታ_4+ 1,RcQqa DNW=N)$OF&>5/uTobFN'r6䘷$C g2+))@{)ր'v^q|F!7zvٌз9/|x1 3r?ӏ -?mi9wyVn=J>\O'J/IգñDU#cIP&ՈV[݇@gWj* MJzH2v2W\.)ΨRƺʰ,^Y'2(jX,1{7 _s:]L8+PM!qrtyߘ>r+Sd(={ǃB E;yz袤Nӊr?fC4|R,{O߹!>`V F_|3 G~0fPlJl(}$#%0`8LCc`c\1 -dM`6V PCŁbAd%=\P9(51#+̧u. Zŝv'żJKV6.(r'^# ل %H1E Em` ̰-V@s\`/kK?Nl"ND.p0JY zj`%PĐM4Z؆ބήDsM-6Vxh6e5"aT&jԡj.1ڻ%GNG,IZ D-M+~&)o΅ F4@Am ƃ/F:<,j&|w,?H{HC;lKZ3~Pe>3"*)H·o_E&܍^+ BY>{6{nN"5imD3r:`U2Co onV <Ќ6w4pˌF #ɸeXܟk{tza_ A Fu3m\TJш.4pkrھLbsM@]{lxn(Գ|/UaC sS%;X-eQ 86WՒ 9AexLNE:ظx!5fs/'E0\96fxNyx8Wy36vj͑T7:ZSb4a/!r|%M#X㶶֫K[l;W 3 \Xw0BH٤79=@+hJ|g)++ۓ}A>֊lG*R:)KsҘKq\p8VlDTDJnMvGyg"E)lTp8v ~.;fyT}MABWUk(k۷gYZ956ca1686079424e4f28ff147c04aecd79d2c15a13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 9cf3daf8eb9e55c0bdaf09aad5a6bd05c171e50c 6c8fbdd56fe1c6c0f656d6d37f72edfff07452ac