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 88E# |DD ]/ CISC-Kernel:threads=4elapsed=14.400cpu=51.040gc=1.584factor=3.547zXZִF! "]ŗXf[&}rsSb7h3C^Y;i45j9 ML?}!zB;*bWM=2ĒVdWz"% 4 'L=y :soiwuٯu[W-,hbpݙ":r珡L of{^l;S$!|~Pԫmt^~0'xq2Q`as:a?O8\|B=͚J4LB]z񈺫BxZ^RMkZIS@k5o7_:@}:)y]T Q7MZ51(n8xGϝjsCGMW.ӻ갓M9;(~$ًFv/0_Xh$إ¾NO`"ol̮~JNe.2Z(M\Rƒ U>s_IP kD e D'Oouy}LoT}kR ;5{s,!qZm$)cJ-j/tNhng~np8]-2 YAj2~+Ι0L'р Chf*ɷnS|u>1$0Xv[*KJFU.01OAQAԺ< rBIp{~uvWi)|6+N:y5T9~R<-W#Elx/WϑH za |LM1],3oTEb+'x4?nD=ȐNk2w*I\[ v3{g1fԱ)zI[-6'bΠ+*23[!\Pʳ0.eӎp\ՍT85,9`7Mjl۠u+ PO:ju8tp(s_h "l VwB顯,=-UrʃFe4!hnu?2l73iQE3㙺.A^#^ϓA2l&r$>37ܵSļ̥f@}*fm* .2]R37\"~/'iH'3_ _uY[H-rW#Սd<V(1Z!(p v$>essۣVs y D{ăŬz^oRN~ eW~yǹ9D~ש:! F>{Y^A AV*i-Cs}:m%Q߅ANZJNJ e T9J(%7ŮT ~'/TVB7CqF暂OK|\KF(2*Y9w8Mm)x=0~_mAX׷)6aWX2Yz%ɉc8s>9kN4ɘ;ʅ+YPh)"F~t XsUJ͵ r.1wZ%@@Fp DWy6AYiAPim 8΂cw(ckAˎDXjG(Xe HE} dX=!׏Rf-#%YhӘ:}FOx8(>  sv x̟b;-Ż%|L[a V'OR,Hu+& ը}Gϝ̦}J| K.N?*)j9~b`e.3qw_Aҕr#4"uzeoP 8t( ;Z %5`%YwpLZ-MU'\C'v 4H@khԫs.nN5[Ll}4ȿQ}VCNd~٪1Tk\l3ݒ˱.n^*gYZ278e2b6e11bbacf874ab4d453eb519a17eef41d1ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 # CISC-Kernel