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 $9 d< ]/ Locally-Nameless-Sigma:threads=4elapsed=23.794cpu=81.636gc=2.244factor=3.437zXZִF! %]ŗXf[&!вIkʬ:zSzrƘB:~!o}Jwhvcm$~.cђŐo `-Rl̓Yszގ^i)Ҿ \oM%}Z+CG8WW0rXX:iUos{4c, 1k'"&WxlpVdgڊR\+N(0M'Ke+o)ք ãQ FyV! u>_"u;(LH-yZv\y$ j֟@3N B[Us 9 Locally-Nameless-Sigma  5f4m/*MMe*(9Dy,V[¨[F&ɸ pB03U 3ӧ5FCHq{+@hO~% ̺R)G]J-ztT4iFlj>oAWmp^f2c'k烘霈sv*kDgT_)@VIrK_|zgYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmXI̒g,bnk9եYї^Z%8JlL{L3`#wRMW qTe["eռ7"B }GϺ4Opܶ!knzLK1J~vMܣx]!T, Ⱥ$oM^XQTT\9ӱgYZ7zXZִF!  ]ŗXi%B۾26{+7Ɗ; dr75? tH3fAl=Z_c^IiM/d8J/โ++,[h Z]I*q$KH-'X=I %$eڇ[UW|jd*ܾlw*< 0ŚmpE(7JYs!/oIC evzXLk(x|!.AoNn'x 3 7%e?j{CXKFidoHx9͵rn l\6}S-$ 䒩:p⿗:Wyy^ kIE˗A΋OuNSًcu>M5:9krYx@AD9D|O]؛ΐNj 8FdfI*ShĴk+s+&d/YxUAXq">1Mm,Ex#lm%K[bKq2,2ӷ֏}U+mٸ ĻeV-? !"e.y;BN=qPqm?CB+lrVOk{Y_GN5]bl43%sKL!8QX (6r)4"P !A!^S<i8նZz33|y)na턙ZQ pxNXgUt=n!]&tKLecbN3VĆ˱Y}?G$PldS_\Wԝ~4Jwq#˴ TzbO-yYPO԰d.rqvA׀w~`طt-. 91rt;~'3JoS=1+\wCQU;K+)gA\c'1;ii[ vh_k-O PDR0  ՠQe{M P=$#( 來Z7%ݩ'e޽B~vnpHr l(]ӻ.=͎^p'K;alX0+3Y !@NRboCX(1ʅ^Z#Ң89eqoafE^γ$xn]?n9d?-h8ѿB.$X>}1 hXY0T# \!!<<|`{Ǎgs-k J0>lő@wpfvDӒN5hOk* ugZP\u6k]0H(10K|TK +jS;TUcXm=|VPwH;f30)**clab<-[Ųb&fſ|,G^`c\ntLtj_2_)5K8-]DO?:Ȗ 2|`ѯ_i{Im=F)TvA =;0" C,|48H]{h)2nYܙB9"E;d zhVRy ¿}yj;}!rA'Q]C=q9`NFKlK6Qfj>a?s"Y7 u{Ϭ*RNhrIҀ' LՎ.…M#/3IE#J^ ~v {rկ'Oj9OT$vc#]T%rv}I.et!!Ծ+;%aKڋKـg蝸 ;]MBǕۍtF<=;p?ϖ"aoC"StVk@ap #fzыn .'A?Pe}JvgvN@[wA^-aMyxną[l;z0GubǕv9Q[=X.U3lqVB_&/XA1 CaaP.ܹ'ӭX ˢ tnJGerMnN*n&щgYZ4f323511b18f07f8a41126212e4749e9b0252ca376b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f