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 (!  $ ]/ NormByEval:threads=4elapsed=26.036cpu=63.276gc=1.412factor=2.437zXZִF! %I]ŗXf[&zv׷K3?Oձ2?aE4} 3 L#<>D[yx$tѸ؋),u-m"4rt;&?N.3Wo/X * Tݜ`VjV)dmC*hyPl&g^ S[rgYQa%i?mӰǘ`wGu]Su=<ŊPs_OU^t_:*1>n( 83{}*JwdcilRz֥G#9Mh x,]9Ȓڡ5.+|-7"{Н3SZ>حht{xV  ! NormByEval  Ozʥ*ZVI^GeTu^F֨O(cΏ|Y,0W'`I]x+#EC Lխ$;VCR93obBhC&~0~Ց,vȞjX@i.2 mnb8GI؄ i(XTbg1Uwwp !Idܡ\;=:/ŅE+\e\ǨV}5GF%;pѧۿrf7[^fR3R b_Dɜ\N`s ISNJA#As4L"+`WYbۅVњ^e헧Q P,}H0?V1wd\$_jPrJ铞+l|f&ٮa?W3L,,0tø=+vxLQ Ѡ]{h=2YS;S4]ޜzGYceiVtwf k8qPZ0m lA12M.Dt|QHQϣhJ;uŚZk(ZN5A̹!9G(D2:V?ք} pEf?!q"J#[EgYZ7zXZִF! D::name=NormByEval.NBEelapsed=13.713cpu=31.084gc=0.992ѧV]E-#%)}YZ7zXZִF! H I]ŗXi%L V@}e1#[wfeL2ÚYٶߕuѸɉՂHg@Kt߽P\1Hz]*6("~W4{,$>v\y[Piq L~QAD]!z+L 4)YޖƸ 8n~t0Z [~o39߉b k9B'/zVʹ"8z9SL*`w>DFNr [GOIů̝ի"ieo66+|u փ3&F8r>R!8S!,pk`^uj=@M kBHڎp1'P5Gݠ'~+p7&^qWGN◒T 0Tkؕ""st  y]=3TS [.f f̈́/6-kݴ&ndU|"Ȳ5¥{gBn&FqOl;MiAY2:caE#*^Ĕ]xղW_ V;la&S͋CM#_Y ITGjc!x֑[O&0ԥ$̟BQg/Vf ,w8%Gl AĆDNenj1_dWIl\X]$;ы*yl3z# !-3ꄤ,ʜN62k5(J۶޺aA?n(C7y("xZ+P5-_BE.WUKgE^W(}\,UC0hpiVwN ln%GԸ5ʝ2c6a bx>VE.Rsxn?s`|FaY% /jYu޲[G' V.OXgӲ/iۿ&,+.; H+B}f/ޤPf^֓*3e":W֛i9i]/GaBnHu`M fU#j\*sHlvHt1}ib G0|:ni\*Ձr*2L{uX ߴ}Zh\{Uv%@H4}:" n  (RJXD8If 5@:>hBo2ؐ+WԾ)$?)Crzl] n;؝hdFѭvJ!]w6Q-@ lb/86"`eʟ5C-MZz`zХ 7J{P2] my-ɽmnb\i'h^m!u ѤI$}UT0wo4;U>F$ݱpGDDֱ[ʞ3G[dQH51Fj/h؆m>u_T-bai(Dr9ϕ Wz~COҎ"7\Z>y$,|2lpHN(;NO8[Hi!LӁH|2\39}@:PlăwLv-RoDFƘ$Fwc9,u#zof.p8 7 {=Rq wLlʠuy[6EyO-^,pY<| ʪv9Ek+2@,ʏ9edn v(̐]fJ>piBñ^15FiZd/` upysryAq :QYirAy\Qe%,:(%^U.гMi{̈:n@A١HrjR7IوݜX ;r}M!+ʈַ̈́'@'W1<um%K.發*^!ΤU4H#pc4P|eS,7bdAaL 򝼾\oVh @_{\ywuf܀g)RV %Ef~C鮋=~F:(T0A둱<Ν.ٗIdJK{9 q0(gjOBqdD֎+ Bg~oVE~evf/Ђ!Y P}L1OgYZb5bc9fa0c8f70dfff4d5d14a7d0036d9b3cd9dded3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773