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 ==@% ں/L=,kVS/$ݝTF#(}(A`Ǯo5''׼{!(3{4:tm e'¸d* D#7S~d4/!N)_Gnl ^?$8y?4FbgяR6#&nzT"+؅u;rqcX4/LS?Eg YTgYZ7zXZִF! c]ŗXiɟˏ6t-utD>ь@z?HS(po.9T իY2tI9b1WE >#ih e_5j"Rd{߱gYZ7zXZִF! ao]ŗXi%G̉SrG^,n ϯO:e<~Z!`{$5K]@%%ABCM(v/@%諤ʍ}G.P=:ڷD [ Yy]c,Kx*0RƟGW#1/- ͉@*)“2_{j,q#mD@8KF3:|cUWmgfc2T%SHŏS4'4ʐx]ﺫE_d-ٰ8a]WIy{4j\'޾g8,&Yݭȯg6Ę z.-z?s8,gqri[JYJ{BӞi͘dߋ+QY;Ĩ4(^їQxk4 (DST٧٦X7ɮx+{/~P{_Rѳrjrx169i*Y;>`֋߭zp X0ym} JVSEя|24K~4V[J:t\.{vxlT0:mfd}t`sK?]Cv'kKs(I%/D׬j܈ILz5>MedXRT_l- 3p5<{L_/z[eAPQsch69<JQmY۵K;dFu`U]oU]QᅊIc f,>9;ݶ@A;R:bŦzqRd+kWպX^:C]3ϯ-݁Y:/uFg= 94ݵSН$S]^y %/Q[$}.C8׿צ}q! 1e2_1/IV)F z!5f݈&M_\h5Mf[:sBB+#_{\΄Gz?%oYsJP5@FEoi= \@jX;z+C &d&I4 0UMJ [Zpם1Sk-Р ssT .'z{UsL6CC3j6Y f:d; *=tZ#-|A+mzcw+ j_e ؑW8(h*rc.Br;Ńg'㞨駍 nȌGIb1K6|# |P%isO+_P}E 3RjMWSr0m펣)/B7Jr|o81h?-lKoUf"]]{ʩDt;V ܫ{+C:0ho=$.D.:sFʬ?p6Z.KG^j!rx`yɸuLsfdc}a |`DZgYZ484aa2e2557860747741f5dce158b7d11a31270178a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 29bd62867e8e25509e40bd8a9c060c4003274333 % Posix-Lexing