SQLite format 3@ .;  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  / t44 ]S Monomorphic_Monad:threads=4elapsed=36.920cpu=64.716gc=3.172factor=1.757zXZִF! q]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*`B_LSj1Lv]rҤh zqsݰGU vocnlFry󽪩Bo3WnJPC&J^sи#C$Y{CU1v[0VQp [jQ ; Ɋye[WMGvSm r*;SU0̻jJj2JA̲NxOY0yNu#?B}QgeĘ"M-/O?٪/̋sy&:N'y J8Gqg / Monomorphic_Monad  ʃNB?Z׷_/pSmfrN쳑֘/y G6^#>.na1w*)RF0E-oܨD3o__i>u3haŸ:BC08HEW.K{ MT f6&,P.Oq~~`%%| (dWOZ%XMb-)ա9fjz L')tmȣd]vŒFi$V4#gYZ7zXZִF! ]ŗXiɟ1˦r+odo)4ڮ@FfvٍW\-e#E@C*x~0 iݻ 49nC\yIIhT"r\yK欣6UrVFTFyAF_pmS\.,Vo5{C%5xZ9u|eZ]4*O׿FggYZ7zXZִF!  ]ŗXi%L RLq9]2 NCG" f袭 :QDSf9Uu*]ͯiH..P]7te8֡SW*[hm& }> <󾠪]:_1+q7%ȥƇ-J'{ؼ5%{y'BuzP`^. Zޢ톬ҘSIn$EӋ/xUU{Cy/r8̞|G :>\ NETKz3 ۻrđ<=\ӗ"#h)9q0E. +TDL|!TP4IǡPɒ8N|<6u U2;y*aS}YP"Ht4 ofT]ƵAך^*߁ND]83NըQrDq9T=ɛKR2#V"- D\b˳ { N6#2SI(AEO~sYYb wןo׈aD&:e%*v05U~_GwM(4U8㊪!&d& _Nl<ʞwݥ2|fԶ#7P'+FRrz&SRaZW~vYVK[g8M~´Y!d@IRP "OI dďT2n#Lj"s?W&HpZ$Oñ>WV*_,1Ge9CAE׿ ]q6m02uH:|,7+_`MCoO#sluvf Sxeoc|C0"ǔj?!7ݸhx&z ))#ik-ӯuƨaa{!P ԡyA7$_I.z8wp͉5[oE}4V*uO`D;Vߍw-bR'jY3$zAd%.˿ ޡ=g"Wp%ڏVfRi$?\q  ÆnYya$dP@0V5)WUIbfa&}7"]0 5K֒_IXE'AJ[hf\uQzV Jm\7L$ +u,#~±J0?DE2ְ<"e7!&=%XF]DR]XE 24V[ĽF^No)-,<&v8rV~V>TX9ԊFR/ P,% Ɖvgگ.yWNp=ңI]ܹxk]7cdrsv>%Fc,qôơ%r4 ,s$w#OqՠNI,<Lzk!qa7۸cLD";:{6р!?{ؗU ֗v=篂=` o<>1S<=Y$eG$Y<D/rwu¬2p$.aPڪrH3,miv&퓻.@bIssISS # *,:,F!YBز]KJeʎېZb++ iZ~d!2%tǢ͚+9xRrE]kaApmNCr"`ݒxGuk}mN!= rNYCC0K;0Uca (7`rukTUS7p%-GjY Cn# INmMMDmo-˓Sѹ:M>}ÚRTMc 7YO3]D* }J"PTzcDiJX >ihg;Y˫WDn_U}sivUi=8kw+1g>(g^$2 .L¹R?ېKw>?_0*8:M_ߝTx d]MR17ӔM,|n?y=/+v`EM-4a-6Ew;r++p2II|ZeǏu@uYnӡ MZz<xI? 2=+/G7x2G9+h >*ܡyf M D&H^6$_ŕ0&H'{ONq