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 7 T$ ]% Transformer_Semantics:threads=4elapsed=8.477cpu=29.572gc=0.908factor=3.497zXZִF! ]ŗXf[&}=AL-3jtNc9jVq&(]x C,kX\ ȮYMq;45^c&1n%T3aVB bWDbS89t3v s4 G)e/!{{*]!uJ=n3n&zd-bmK7 wK&f"R›]oG UWҿ69E/% J߱@=*UؖUALnm;~FG=(2ʈznˆr-4._HJss! /m9-WWrr\֚o}/x|*~v Y#|M ]7 pYmBUS򿃅+]YnYqDvABC䱶6Eq<`ѵ|9NǶ!gYZ7zXZִF! 8]ŗXiɟlΈA-̅(G]9c YA}xzL_0Z32Aʈظ0 =I#@ɊTtkk p͋נ%92*H:X8=/ind6W)0I_L+%,~A^'?XON vJ,/x̐=7ؔxJLxהR;b$%ñC`gYZ7zXZִF! H<]ŗXi%L x69Cwj-"GYp+TMLM>h;5,ہA`Qʧl`'zea-p,Z8޵=ᜅqlO{&y ; Xghip5g:9r+$~KsYW:b5;Kl&"th?: %Ӫ =Y|ɦChi<6w<.J:!Z\{M;|g+N{60=[hNaF@US'}Fxr#W%_4Tda8$ eW3mY#q,{z[M(6PR2ž[C ϋcX%ҥ#C|jtTOR>K|"i~]Jrx±\˿˹2Z?zCf]jz ?{N͊aJ.7 o;g΍F I-(Bv3hYJӶTcHXZ+(^ug"&1npKrJ}9|цt߽w=q[tDF{{67sk|LdG1 P)%&(B!NA7Y8lLpB(I\˨NpU5 -B^_` Y1|ZzoƉS{q,ȶ> `bAp0$\NVDzl=]*XKJQ\}M܍ݝ9lU ^)D& ^dʊzs NM)#"+4L9bᎨ^4hQ*fK!$?*<< Z)&M&J6*b`02 _XpZgYZ3b9d31e16bd1d82ebfa5ad75200f6b5f65afb798d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a be4c08006fabb2ba88a827b1f44cb1fed7e9aca9 2257f9a901c525ac368dd2445bd36c8937229472 7 Transformer_Semantics