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 dd/ $T ]S Monomorphic_Monad:threads=2elapsed=31.767cpu=49.396gc=2.696factor=1.557zXZִF! YJ]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*ozk= ΖNQ<]'dRgau 6- DG#w^47蹭u7'>E^cNںK!zL#q #jЁzh=q] vÜ> Sq:\E%b//?Wk;+6v aq/G5ڣZ拔frI"7 ANU#W)ҮqWx#rjd7j,2B}}nՒ>E˴u/GOۘ\FYR;p $_X3&ed)DLLʋI d=中kI)=Uf E"xI{o t@liƒ8^[4ї5/NyK ~ W1QUk4w1iW hc@lY cVheĻqፈO{9`10i:ʣ"A脱gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~Š(`εr=m#ʔ ϝ&pfzu>. |icv a,r7-Ϳ%AB.=Q[7.MT)Ymcqkw`퓬5gYZ7zXZִF! ௰z]ŗXi%>gr9rهZ:.z;armQz+6*+:P-_F#u,ڠW)p٭H/{ xk ̅ _^;!a^\ͳ]J>3nZj%9Td?.'>XEj?IkGYP˃  }sM0jf7&V݀nKRȡUf z_0nH_gCXN)6beT΍F ,^ % 줾u Z@ȬȒۛMu W\rAvkw&9Q]wY;z?/2NкA֬*@-EuM?=h r}=؊k!v/ C/V-f \(ޜicP6~8gGH.55'>v4 d)4ڡiHRJKgtF;5cv{Cù}R+u0VI"6+xqªM&x6E( ŀvPv6%E[kL\,BIB/7lBatj)=W["\_Y> Eb~k,,d@̹pP\Ŵ(6b᯾oɜK:-z䞎ӓǵ`_+YS޲X޹P|x&ۓZ[bOb+#Mny TTJ@ $ UtbDϔ4N(kK-]"Dtlz8 ؊Y ێ6EElț m/e4uMtN~;<>!ԌC-sgEy fvfJ6:+JleP.phAR]~Ň c$W?stB^98lx `Ţq9âJRF,LB8Y b N4}('r$,1~̈T1$.7<Y:BʄoSJq=6skZxr3ݪQjb>\ HC+x%AfoTP o2K%,b~180n73 4N7އ7LP̦k(l)]Ӌ/UE񙔴&_ 4Dj ;c;:9bCIZѫ ,R+('+dw׏TW60f?񵵌){CJ8w @9(E zס-F?I5Jԕ`9>2ZщqH &{(+i/~^\+-o #SqUt^< i =#{8鋵zTI?8f4*?L"Ad490`7"Z;`!8ʼ=8ͦdK1%'L\Wf/1&%Ї(|+)?BE9-C%=<lAm\) 4d"MJK t) ify|^GX뙲Q5QAqoè tI7#C4U+. h͐qE}YS>|( 7'n+VxU+#COPJN9+>Ec =`T{Ŵ1{q ŏ¿ȆZfS8絪5MH>T02Q|$ I#Kض >3:=5BgK*1e$?S \^W̖&aGP. i[HLJw+DgYZf163f0453f77226c7b0537d7d8f2be40bef6ea0997833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 28c701d29bb3453132b1214a9015bfc334954436 c0f58ff04c8ccb049e2f45065f357621bd96152c / Monomorphic_Monad