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 # s{ȥsYhkG,&=LKOVp;Y Z#|dm= yU F+|*hx-w Iyo6=Ruu*d(7〿~!'%,i8#ZJMD$$3@f']ͻr0mylg\`9A_jDQ b%L TnjfRD7>^DTuQq˄x8b 4XR<G1lgLߜ@ų)ELe ?\ 7s+t `:!Љ`ɪ\kCdp ̕pnKt#b'1^09UKa{Bn*5kOt vVN4]L0XWeܣLnbD5 AgYZ7zXZִF! V]ŗXiɟLN.!}" nPBڨ&wjnsR:c>`6k@aD:E 5<;CS-̑CJPANL+-}\i$5])=K6*Xhn4WSѳ8[Gǎ Sw31IzR՛8Z7#zxǩϚH9l Q;v~J@bniШ/sA)QW +@_SR>4 Js!cM^7!ډ_@K io gYZ7zXZִF! r]ŗXi%B Xbh"_rB0FkVQ~$'T"{A J CZ:i)`UhsgpCv%Ħ^I;QKUS &Őx վN⚰K+}={&W܌|!C#x˸Z"tc87T7lXY?94Վ1mێ;J8Ⅻ=N{MG!tզ)h`AUeP ;5[` CF 68؂Z79&!mMAE9%JX%2â6#SDsXh,@WD+X4 ͠b .ݐ}HI9q!S\d RsR#0X3D8V;`.lKv|30+j3(T$ks'Kb"Ş_E9Z|x46DQPy m3ܤQx)[Bpcpߝn{bQlx<^ '3i@e-4_/=~d˯ȏڄ"u {.d):7ZpZ+p87hz%}{RhY08E_3mmFL5H/$Ch⇽|dpXtj} L*w]#6KhUϡ;:S,GZtosCaI,G2%6ec:.t{bOl[s %lhG`fth8<rJ,1SP>ed%)Б.F"ɂjv0t} q6J4<w`xJu0?( h`,4%@gYZ222566fe7007b4c450d8632f822f44e64ed7f131c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a # CISC-Kernel