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 < $< ]/ OpSets:threads=4elapsed=14.752cpu=49.668gc=1.276factor=3.377zXZִF! \]ŗXf[&Zyq1/F˹1`2W>K`J}9w ٧݁ BpJ8.ӨN=.q+w>MZd$.ӟY#%tacݤl8T= 4U!i$[u&OC#td: Gys^0LfO9})N[\XZ: lsASL+ !hT1I@6ךVGK\R~o\ PDx5n)^~婔]!bזʲMK!dI{ےv1ܗK=h.uƾ3ZfgLJ<:޻@/T.=P&%z7z*K@ﰰ ӳ;Bnhbglo?G#[Ni%0\:{I_:pS0Eg ̀WUb[ۦdYFlXrC'A1 sQj0a #էOj2אrX3B~[ޠ(ǃ7z>mop@NVX*Q1b*xc35VR+n>TOOἙLRI~EXR(Xp9lȒPͮ4m :'r:X 5LF})\w\5Igx-A'< :> `yXt5j܃SZ:AqO!9:Xs䡻h#riLx94^9gYZ7zXZִF! S]ŗXiɟ@*ajmSZ–P)%owRS݉[}nU*߷}^D2}Сgؽi)h5q2c ^ꑹ3Z<FWTôl0akIf93kO Яr3 !3 -GKxfڒ(}1izЃ Yj/ƌ^:!ڀЖ_W pC)Bj,Y87ZP&W3otxuV3m] j4ĴLMI̯ܱT +Qc*Ot04 0p5é,i,T9֤^Rj"iiX4#HBHR%$m4ŏпnIƍl) bCS`9ks ݉\W~~N?(Oo?~p"reb'1ǔ\.iQJ=Įt,j wJ**nh@VD~ gg@d܇s֣wɨ a`M:K/OᑀJqM+Uۜ̅S~=+i5vŤ[c~BL;m8|]qadH]}8`$R|U~f31{?F]'sV{p~h#6q|. 3l<ºu"1=>##g؏ ?5,@sbWA$y^Q ׳ 9ϱޱ`DT+ѷwFײ2#NBrlh>mb^-„~̡y("$EiQx(f0 ~y m#OfR =H+cl {,uO1.nwm"9r?W0+@%P,Ҵ<x_:w+Am L^Μvvb%d;8꯷8m, 5¯*Z,$+RBJ/H,4RcM_jTä圈&.a;/zzpTnOh@?~wL=zI_Ł/O2oE'+p-Gq.9ME2mu#ҋumy3Ed86؞Eʹ9<ܓO|GEmxpЌ燲6|gYZ30d8a5db294fa90071f20306e37892449e72bde04b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2   OpSets