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  ) )Ll|\ ]/]Datatypes:threads=4elapsed=59.356cpu=99.076gc=10.944factor=1.677zXZִF! !]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$7a_IR_j,.{FTY< *|+٫b8~&uצciac}Xg!ltX0 t fGtw5-BvH)Wl:y4hd' l怜oXs/q,Υ`!@Th9O?;VpKQ7Y;I _=.T9x=A-7ά<:_lS-5y¹?tD66qf3 cq'2_   Datatypes  ]v'H86TV,aUNo/`E=yph;nG{A,siE` nT` }7 /O-1jYZg؝<@LɜDϋc>AsKÌ JgLNZt`F`}n+eUh΍kXOfL/(@{nFz 0, J%_-9`#,kV'wav1o)3Ȍo2;" >C #?ݲ2tR>WR8̅O_!Gb-ܚR:Zr n|1 yXȕ>Y?j(D{brwyc mT[Y+s]1BwfG+3t&U;M$wʁtulnKW`:)XS  H PϯZ+⻘V6ϛd0G XuG}B5VIet",pcם-ga@Ջ$qj @fg YlFjLlaf֜2dtZ'5mu"0|h cYrC jFOꧯ\p3G2*ё`uNq#,<9qE5DK*h͖hM|OKf c@x(9vN) N[?7O$!]Q]ȡii7SkWc×1 |řRjf%ؾ'""(y Q}fȱ Ӊ>l]1t!y}+5,+ʊBhhGj&M@h>}`S.UUCnuNze^$gVo`U5@iSX)?/ Y#GDU%c!kr ;}>$<7Z1?nCBaC*)9nNfe;b4]L0."y;VnT?VFT&@~qCCRl3{Xl&D݆ΐ7t _@Z@;5RIW.iS2(qRBNktb~,VVk3%Nťrt+i{N@ϩJ#@j `@< @M~"ԿRd-屶\vFXpTYYHŤ":#DűpK[kJ݁: @pȡ!^Ul@XNLf?.;PӨuhe~~^!2=,29OTut/Ǧ{ֱ -:5|8kb2X %޸ D(Q1BPZhrN\ $.H`KA$Cޭ7a./ӄ*̻Ҿč 6W. jrNwIޜZs9M +BE i i'jzds؜)5J\Mhښ|2'% ^:1㊎? 9m WL%._||yN wN=oHiQR7` <%Z1Vav~M:L CGysO0Gݧc4Y ff±EgP2CI-,Ong 'Ӌ\Abe_g 3տa}24aQ6* o\3YSE1?j 3UaXܞb,]}EмPGH4] RN?EEӰIhn!9߉⠯کu4֪? PHprnqdG o2IS^ }J 9:w(tt[*";#)Qd SBס6 wW\ClS4'\./'VJdvIqqc2k`kN+ԣ$ُP):SI~& Zk3RpOZ_%Th*vh aK@ߒ0wZMJ P@w5ő-~2W0>e5XCZ6°e}_ Z 3wxPc,d^ .R>sZ*hcFF?1#d{S2֜,45$*AuX=0%G.\o$>7]h,楮cX`pb-ny[AOȹ8u?4YpuبKAcky$|X0 r-_j 6s*P}gAЊ43Oh(SlvIIִ9< GϽc-X|/wTj0fZ͘zr%9p0WkqE˥m=TsūB$\OUߺ Ks!vL"/ߣ ,6sX8tjBqMwo$Hy9w'y&cR(c~-6>uv[hurܾոvrɋʄcP߈ _j:""O#kˬ#%"襌Yp,7UqD@sn!~>`a1X sgYZ6c1a09ceaa53a46975d434e77bf56771d3dcf5c3d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f364edc1cb47e34b2b670539bb1bbc03d4a3b564a6