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   ]/ Clean:threads=4elapsed=7.989cpu=19.332gc=0.820factor=2.427zXZִF! E]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`E'O{i9~WRQ(7't\x_kt ofpy݃,|zF\hL}RH &a4fڨ`4. uQo$qcay= D1ui*+a2I1: l=# )Zݙ)M^./sK5KPmw|'"YyȻH-o{E Ycxz6菏~K_]6 mAeXa3jr$=ii q|&%Dvw{#kd,Ųaʙ]jrZuɺXfV{9&4Jo>R Pyc%'YP@+`/|o E3پkjfAm+ Q;u|sp & -c.e;?^dDr m I5g b d-g\ c{VWX-lX gYZ7zXZִF! P]ŗXiɟ_[ta^q "{tDb|ub6 ~QYhJ$Q^=?M_rc OIF=düToᐖxs1WT֝k_'H݃œwEI|gB%29->qzE,n63V"_ꢣq#p&@ FxgYZ7zXZִF! K/:]ŗXi%G̉Sm|k$0Qd⅀It#}Ǥ$]*#.6O޶E,meiNAWlBllXYw=WN-1dΒӑǗo67!鏦.xR$a CPdE- }[1[&QnYuڭb ڵ&}Ƴ*0I?!Cp+f,iW< ]94\q̷%YnL-+%v6j^&K< τ-{ӿnD[ܧ'@`<;,m'cKs\b[Q(+^!E3U)7$mDw+4i7bUxֹ4(_'aRÝQ#1i9MK]H?ʘK^bbvsi]KZcsEg 0JaˁBUL؆Daj Pr C6/w ]?xI})Ts3c6tp~AlH*l ~=r,.rjn6 V(iģ<|4u_}nMH:8H@ʣHRH/jW'Pi{]IJso _+726Cw DP4* ]L:bz祸qEga8"Pa-9Bo!*4% ;BgsS`Ő~R<ԇI#LήB6g͌~+=9GF 1H?3Q9SL(fؘ8SG{ LGT;OccKq/hՄ\W: ˏ Khn