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  V D<\ ]/]ZF-Induct:threads=6elapsed=3.409cpu=13.040gc=0.520factor=3.837zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ 1]X[>-P2XƗS$j}v8?h 﨣+ W2nXa_jTc '?#k ^93ܥdeeI 쥧/WS~ڐyz/'ۡ@k2x!z3jӼWk5Xr8? f@s, 愮'gYZ7zXZִF! ]ŗXiɟ9\'B:b&=*eVBz(fږqԡGV|:RcɧcND4P9^b#'1,b\P 20L$j@p|'TRjN[)Ye{PT!_.R.too_RՐYq8-k;sbY[w͓/gRVvP:mPE -~R|6U31R6i@΢\di@oZ*yxhn5lE40cpJ%V1*qOgYZ7zXZִF! Ng]ŗXi%BȶCP@_` Zs}p*K ,WcO!(1b}!D7? ;)?qbfF7 B;%DG(>$nԇn.)Țy5qsz{{l_;I!Q^SsJI0"_;cw)zi'؏P`Ḷ9ҠyNv6 eXxj(%<&֥EJӳ}jXQVg.ƙIyUIj(ٸk9ދPԡX31" T:~lxuefT2)~224(X3N - AU78$3!oUJ,"Cs 2B2V}ħK[=aR PXUIxD|Xd^~"1Y#w8`(-sd8 5wXɃ9Xg-Ӓ*D3΅RjpSEL%) R4KBW] )`XnMJ)$ŕVJ\c!|LkD\ l_l+X7 ch5ax0&gYZ59ec90a819cfc1333cf967ac14204204162806544ef489b3613babddd4508356c27a113c0ac29a4b eaf6e92915f8a4fd1607a206d06fbd63693f22670983423aa0f631a6e851ede8662488688db71185   ZF-Induct