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 d4 ]/]UPF:threads=4elapsed=27.441cpu=86.120gc=2.672factor=3.147zXZִF! i]ŗXf[&:sFqX`xPׇ!9Un06N@M6\ggNlM3J[?`N.[;*!ϓ]E߹2Vp4H%n7}({Yg!>sXhOKXeAR͌s&⤀! RZ'HLi9Q_{8*Y5gO3KRe;q )n&[g*M~J#aܵâA^?㷈,{JJɆ ؒ~ҢceG*fHay:̭+f%vH['atޏX!;(#0}+ݪn  UPF  P4+IYM&D3Evuh_Ӂ#e,%0,$cw=CM-nM1o!Fޝ vFg NGCik|pi(6Ͼ|-:"R͐B mPgb~ 1|քWB6s Z)"1bǧ|0b;7t1uB:gK|R=2X/+@b qp?' Zr;0" i?+n_g=04v,܀1H[,{M ߉WݺU1E0>hdnyúse g,T$ .f>M)v,.^7q1Ygf&௱l6Xɥ+jI^ڕc7_6nL\id*s^Xz W-~JK+I"N~I)z:iȄO0# J5a!{(BU@[u3ao9!mgYZ7zXZִF! ]ŗXiɟܤ#k0{/!xv(f)wV^Ee|"dwtI,Q"X?,ﺿDNգI8tYsa?x)n6hef!KpA2ǰ춸Y\hAB}Q=^hHsQN,["ϻc^W r !2UHt=YBDY5[b'V6`+9E OgYZ7zXZִF! ]ŗXi%EbbBsbE{4VA19e ".C:٪5em "@;s xttC , ʲfʷU,D+eDZQбH4ЗuZ eu^;GT|k{P cxnR!3qXT@ԊL>z)3{9F/KA|n[08d8PٕrHp!$+`BmіlzzT߮ 0bgO>i"UkO-R`8[/-9\{"s֔h');|#K/ȯK_ 8| OR9ڼnH;MlW=H)LKGݽ@X`gڿKWmQ`| Dɢ\*dF+K͍K,s Q ',mU߶٫/H9[8nΡl>8_Cl4. -?_,qĐP b|oz;2;Y@WlEX:Ujx\O.Z)v$lRC+-[N76wv3~XKwhjUw,R9R㽁0ceR;2[4X/JQлn )c>7nO{LFÒL/8}ʠro2S0Cuč[ɳT7,v5z+6)t\+X4km t׭kڬxIA$ iߙgk#V?dfS/{-)51$@£if{GlRAƭQWIc&H"7EXt3w ?hG(a4"z],LN`[5FSn B;ib[%sϤϋ󟐖H kT+?̇h"֡XB% {^cI0уRtUw D(jY0Ι&[@z*UkJ~'M pBQkKyӈe+KcMm^f}L֬}D,㔔h5;cK,A|f utԟA+ аϓN {d:Cp4ihS}K3P;Q`[3Ch?{՘})Z j%^g5y[L EcNs J: rp݈HjTFT#/(M'Si7%\J8'&Wuz_ 5yÅ}*W˺ "꿷zV*<t_D IԑYzA d&߈N^q rR~8wa܏;;ɟ4wt>2gw {¨R~J\WtAr5dYP5-Z!#mIn+Ofq?Ýbd!wZd7l^Gs8RaJѥ t6 o Љ%0'Cn(>wVBf|HEKH%a| Hй0QoZ W&Mb?/b4w`޷U`(C. nZ0~ܩMGAk.S,Vg &j@7_x'y6Ѓ'# %3H#ү&ПNZ!W)(\a}g~8{G^OFmu)*%=]E@ysu ҼLOL6w0c| IG_w$e-| C6HQ43)!{) OZQݒ$\w,\œ&hr [$`ǞZ sAK멟]{ְzvv5SU3W2RHŌ?4HLv}I?#ń.[TW'p>b4 #͘υ)Gf9ɯ^2@~}o(*7:WT)"kGa~9%`H 7NCR 8ڃinhk@]J!,lªuB A+gYZ2c6126dc80b58dd3aaf6c1ec2dd0d64e29bd6522eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d94bdc4c7ca9a2d625e3fcd3ffb5992f73792983ce