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 ;3 oiTi=78 od&Y /jГ~MF$Y_N 4x{qǔUR1|MA8.9h ^ K5ϔѴ.iɓP:hդT &ʿ޹zg6;ur ɒ+ya1HJ.D*D.hb?`8⦊:nӜx>90Ԇ ד. A)ՎgH'QS(ԪBR.J#} e$'!Q*q.y$QmDVP c zCB5*kEdTP(B@M+ 7~]:%\) &;\ܝ< ^')^*PSK|,{PN v<ƙvpn;S*G7cd U=ӯQsslalja@M:aLB>3d̢Hc2V&xzbxg˥EcQJL6cM"[G`z/se f}ʰHZ* @ lN 1&gYZ A3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.ML/*;z4oA N%b$=w)n'RBj]9c5wHIW7WCA[ƥ}0Y;V.8UGQAm.mk[Fd/mU΂YZ =+h n >d\&s_5aا*cwǜw?w.&r8gu'lDvtn>X 1:.)k{ [{x4뵤.:}]L\y73aYlDjVK=o-nY=d:4CF>.˙0 ։]"r[)GQ:XRړ4g#Wڿ<:T儸gw:^~U4N68xS!{Tx.eɰll S6!dPRCU#Q$@I~&к}Lx uxDC88îVyX1VfII`ڜô}zCbfSgձH3U;_Ӹqw|dײz6;#2/,2*=}kL@E|~0n,oFsgԕ6ECva@gYZ7zXZִF! eX]ŗXiɟ1˦r+g'Dgr>{pNa5R]%d6KH8P)4FOSg& ͣEZ@/ m".peFCQd e!,KKIỷ ԕuQQm;CuVV(`"1PѬHp|cXzt0"+< 1Dn_C$ >^;0*Vx2JW\? L O"\-Rf/]*n| r\b啤<1h g)J>3YʱgYZ7zXZִF! /]ŗXi%B8]r} ڍٹRK pI~]ҀbR0w^ ^ ǹ 1h@'-‚M<7Z'~]g_KkDkcuw nZl3֓Ay5[O' <)+̴ }ߤJՓe`s[+h(oF w VCe! P`c)cq} 5~;[%D|4Mȷ\xE9dۥ2ݰ#ͣJ. }ȉs|L%1tL,F qb OZғo$ne3XUc^_dVr~U 1glqFZ\{NVo"+XږRQ Oڇ`'Xk $c 8l*CCpFJ9%<7GL%zlXCQOjrh>}Y;M욚ղ1߯(ܱeo45tT 3I)vJ* :Cjn>uǗC$!?w#u4/\.3Fc B!l֒4_mU"\aW\ÄcFit62?@+n_'t"6Lk 0;Q po/Th :0Kꋰ^t Vh &)PԵE˝N)Nlkߕi!`iy`gkI`YfVl}͕ܓ. #$ /5Α;7> k[ϵA{$%FIt^'EzTX.א&QI Z?BjA9PǔNY]p< qtjdֿn _Z[yřa .22t @9=~Ʉ#@xdށU[1.د-lLN:1r^ԈNE Xm=,:Ahha}bVsWiV~^hq]dƿ.ҕ(cs?[B+qF0)~ʓvT#KV &ڿ;Q5ܹlBؠR;2vn[4=3{BWL=;BBp]`)Ftɛnb'1Z(l &w6`niƥG4ԗWSe˥9 {^ l|z}0}q[%و `qm[OF2z=>! pN6b!2rd#@#-05_pqRpv"E?L*=_ɢbX`}YSV.TExhUtijGY:j"eQ-a O_SB0OPl%J^ `e;n[Y6Ldé2lW-| ^fBmSYJ.%>].rX9LSr`LSK1|S+Pp 2A7]A0VĊB,Rݙn+"+`':&"nh~Pk` Dl03Nל1GceR%1`F˻g2F4,ZAg«Zk̆v[gc=#fI~S'DHIN䙈nbUdM>zY<v, 1r<ɉ) W's:t1Xu (t7߈ƜΤWX;|Ǟcur KpZ{\g(f/yN@IM0@?i @x[(oBY^)M PxϸI|ħi_[I4C_oO-مlYߞK~65 r5LսDRђZR "s2lz X%A/g$igYZffe1ed52c59375b43747b371bea527c40f2dfadbddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 15059e4b884c385e3a1f4555bee098335d341964 87fe1cb6727ab733b4a0bbb6753c674569a49cb8