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  J d\ ]/]Nominal2:threads=2elapsed=35.719cpu=69.836gc=3.988factor=1.967zXZִF! $U]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk᳴O6ҵ4^.VT܅֐'YfPyS}L`I@pyPO9t HO{X{3n)zSF41Ȩ]YKF v I0VjU)]Qzy{]WQv9Zmdȫ<0ɮB'Qm$as>z(M 'x9/g="?3   Nominal2  ҦȦ#nʿӘUJY9{pMVa LTKߟ+_tM )hcM%c?D$͡Gކ3LƢr / Y[Omvg4heocL[Tcn 5̩V}z2ŰB"#@.aEPAgsk_ے) 9PN ʽwipd:y=єM:lL8_Ԫl,-`TEd&AOwv'%z1om̀2;7@gJ.Yw2 3ZW Bs^?`),r kMςtлt'6҆-5r}P˨)$k͋XxĹBR=@6\%1SmMCTQ2&08 Qk D^jcJMSz= jDUL"ùf3y"u|2zKH)kզ`:Xiww%"A'- j2V S;OCŐ`"4ڇc8ŏTK]Q iKpQ0`~!joX];t!)39,2+?TXj3MV$7]Z0+7qJTL7t~i=`UtS25H5sI0q 6$Q`*CIw|MCTle}g4,`}&!MG HȼgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14٫UR~cNl"aNxt/l|T>YiB&DTdOEl`|db7"f 6diZu} jB^MGri96?B Aܞ&&(Tk4 ]x; hT ^EkF=Q5~v#S"k`l)b=3denMh,%F')O<9xPcZ2}G۪VA96k-NѠKTEiD#.7԰. z196Z\}=1 c0\vJU zQf}Q"]Pt@qE$1∡/#Oiu ``i̱gYZ7zXZִF! # (]ŗXi%;3i`pUf?`N 5 swS3N' [C_GZGZE$GfHg[e5Lv|$5`2} ],kk>=k}}xXNc8t!fDL yo^%S_kmʒ^݀p,["wRQ}Htfb^$o dPmYP&MA[^idKD)"FԂst>3_bP ɷu[жEw- rGJ7Z H3`ۚKj}/~뭞Re 2Х@\3~q3$DѼWih_ v^9GC,R ?&HE_؟M#:yӝn%.mgT!qq$YuHC6G`}{Cѳg( ߥL= vny C|).lKM皬"ϧ^" inc!@톞J7k _!ܺ"2plJ2 iq24֐Etו{ "U(=*[ڜ؉[϶鲃ܬ`4 !vnrWg3 EHʁꐳa$ (!/8##p?ͧќpV̦K~ܘZ?gd20t b" B&R+ UyX TuIV- Dj./śM8pLB$lr LMD .Shy mN1`j>Q5mRSGP-ܡU+P~ijܧS>Kfre xaɭnipB:P;29O,slҮ%I\e4Jze:-Z?Dp;Ex~U)J((뒵SOSbC~Q}yg~Tgͷw@tDu2+| Q+aj*K(:WI!;5aHp>= (P CD"GHl3xonPXh /*.9,˽.#H{R;p*r~o#D0L " cd_$E~=ҳ"C5cx#X5%-| {!n[?``7f@(lQp9;uZЧQ"|XaKsWYЖ KI*rBpN%>ᑃiHv O@@ o΂`󳙨U86؀ ]՟_iyRZ Ֆၫ'9?426渖,"H"̨rI",)n "E\a$TKOG vrH1  OC*Pz\:c_=0<{mO H=S ~ci!UGȇڜ.RDV5wމ+ ZhJ3~9)4:QyLO7`;udYo?u=u Kt"Z-3nN͕욗Ah㙥+%ׁ&2 K w_0MKFMԕw̜;Ras'\9/$L~vޛF$h`{>Wէ(='W^zܓISjx*j4" gYZ825bd3d254ce1a01ad11b15d31fd765ce21d9fdf665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40eef0b0f1b47509754ccc8feab15a0437d3d136cf76