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   l$ ]/ OpSets:threads=2elapsed=18.692cpu=34.436gc=1.060factor=1.847zXZִF! o]ŗXf1-/6vR[$N] V:}]縅\]$g|)3keR(n{Վ϶3['g(ݷA  h94rSb:)?.'|J z\[M3U@Rv1QqriKGj9M@ !+E7^Ҧay)+!WH_ZM) I+oMb ]c Į鶩|v:V_p49Q>9,yHқĩKcv\ 1!RýpLb>99Pt%)db9Ԡ0bШDQmuɱEH)| +"+Ѱz+!S,B|b(mRy6>#@EgsR|5k +۱gYZ7zXZִF! S]ŗXiɟ@*ajmSZ2v9?uF4LyIlܔ`9Uťܾк τ8 U=nwcNs֕wt@υ0VgYZ7zXZִF! n~]ŗXi%>gϢt'eIը;O.J ]P3Am a2S%5EKz(!aY`2%֠cl3Ih_V-/V]=o\Xz\qC\I|s&B z-zv.ZP\:[*i\EFPP&7#ik(1ꨧcB#Vշp9 q}[aî\Ik͢]xނ&+ 65vj4KogH6" mx}xX=>^M *(-B>UEwB/`zJeoVaqҚPh}Օʓ ZL:aglB !{GF&m6YH 2MlHRr@ΛEz1FG7YYtwIyGn5 Z-f5efY{$thPO+%&o7lzayA)qTePB+yƇ%#uQ,4r_b֥q)F0\KxRj-;lia^t0S cB^acN/բ[>m 'Ţic1;t7{'1L)+%sNtY*&ds)-{׷RL ρ 8o.}U &x)];pX<)|GMyAD͍GhΊ~(9㶫j~4<=872jMx%ۡX4ޱƭG$vѫNB]& G-7,M0a5eE8Mp 7GĠ2_VOH\lY;^̅G4SFzYdzԢ\AI4Yo'ǧqMN*3@[׬@l}Td eeCB 2IO9ҍ7;ƚ>k rUu\lJA\-׊Z]=kt~>TJ*e1NSj ;mvX_$$z1G@(4S3ijZufB0hxgb$\Ny[u(A^JB^0VMGXU9pX%s÷`!',GZdqM'WrQ:I^A9,q kAz41M[ įSj`Kq2uz-𖭗[}=B$N=%'}f8 ۃVGK +g?gYZ793446b2988b5e8abded6dcf4f28c6ae7372e9bb97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3   OpSets