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 +$ ] LightweightJava:threads=4elapsed=51.355cpu=106.408gc=3.016factor=2.077zXZִF! X]ŗXf[&!8*TXzX蠎%]i&b==ʏ ]0'c"cp*ы礇M@.wPzįzg( VuiГbBZP6rmP>:%X?u˝AM흪-68_c|FКק}OBt7Q()k<hocIM~Ag@V j- S:mΆ o/j-?䯋*)H|iKo&]tmf9%8y!V}҉yg@s\L{4?mv{IIa.xR`r5Q1R|z9%R՜Hu"=r ޢLA;Xj3ߺUzk kX:o4I˒WgU{L% <:%*,m:7LK~@3zMv&[f#j11Z\fXiu'Ί'!msıe',H*?;׎:0V>CкJdKVn 2xws} RK IRfd >6߉g)rQV{&^P]=lu'VH|SM?v ]5QjBYA6hj/)z,}ij)=VBO4'{!C1Yo-v0aW@$wCvvoYe⒴:1` 9`PĤ>c21%ܭ.VCuU܎Q䍢0p ' ) RCF @܎6dH3\{Sj*-.S,_ M2YS200AO<ZE^Y*k~HTN Jq5HB4|CY Df#Ie̗iSM3GI?F $Sz:.*nrgY pgYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9cm;n7#+ͥK+ym:@RHO$N [QI8*Mڙ3UTXe0Cآ4 + LightweightJava  gYZ7zXZִF! -m]ŗXi%L )k+m)EK$7:(;^Z^mQoF*`;Ў6XʥMD?pRbTA§uIq|j>ᵹ`$)*k+u2IkKO꒪vȄ8?<ʆrnWi4Ho z ͋qp!,Uf"EͽTBveWmv>;rf ;o9rKQ] \ el"UåѰSW:V#x^dhۋ>N%BOm\1td t29fB.ڎ"0JC^ 0sb G8 kƒcY>ڞc!{G%Z(y QۮҰ7(H)%B(*‘NjJ O?83ŽV徂\Np͸AOd\Z jQPWK#Z2q@=Z!eZi٨C w=Is^fzLMs`qmۦ&*U8_@F!mv`fx }gӟoGj(B[2@滺A\5k;C&t0΁*/T>U3 rz,y֝}Qբ#H|Сt=LjE м2&4 K(qQkP]%,DiI;P1yS< m~Dϗ[>\30pknVժbjۺRLڠܸ4do\;nZs_ 24IfbȜ\!=+4.," :o͠kFxW ݋#4i U}n8ȵxP:=ҕ*Grb~x *-;N[fz3Ee*L!s ïaFk.:_1ڼ5z]7Xտ)l-jM* .jݑ 6h`xm0QKɜpɄ#!n}ZOpՓ$t12@@44M&S+f&)~m%)1mYl7Ol*H՛QQe,/ӟ.RycC5eD5Vkk˿7,'5BmSa. @r,y %=y5r"«hmW8:w,4;`pXM+(ȗd̅d:ToW 1]2dV%܄)JYpD_ .jy#0E}]rk@tTݺ>jY}/eەʗIDC ңnx! $%|}3n3)^Ic31I"5UE3 nYwK%MI{8H-De22Zy5}ϊ~(:iƐ,)ӧX6JQB#`= "<7@Ӽm|{X-\0hC9~#|­uS<~9HLv8Bcl`³2~M6~a[B+֌qF"h*%2[QdK&Svpd}l8i'5Gh8:ehqA45P,ڙG%^%t\i@!a@\锭Jsn +{/|GMuϙN?] >=:H~8a~=gn=S0ɱ?II$aa M4XLN ;<҃C l.1խu~iCxHd40m`R)bd <냢3\ Kjs܆ؕ>oC^ q\fz˥-c܈ >|e{!Cc]lӪBݓZH|aai =l1gXI@~yFTzef] M̗X0jgb.rR{Dg,\N<\lõ"9#Sx(A7DvwLM4w0ؗbMOG^Xqa ! %nn˚fv; "UwXx'ʕ.+LK7Xz@ gkl \"UgP@0_(4Kj|9@l}0/LgYZef2bb3effefac40f23632132414995c332886902d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a