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 99D' D ]]ConcurrentIMP:threads=8elapsed=15.904cpu=41.191gc=2.462factor=2.597zXZִF! =]ŗXf1-/6vRZy-`}$=O]a0_(0hzbn0>LaQRIԦfI]])-7=َ!947iz4 + Ďr~A׉S5".ş+PǬ[ FE*@f1."rOxYHQ25څp۠A}}j?vk}85e%]ډBn^{+fɓ3 ;k<([}wjAu{*neZ"PA_B[p/`:]ZX觞c 9\*3ϒY$7j`.ӡխM ue3$MY"bӺS'dC5[3oz z-.]31Cxo'sZ$u[rnx~_IwRKe3y&}n _Z'WJo ^1N_f O@Fra辴P/Ѣ°j#4.$wgYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?wz%mA%,]͎o;u:G{F'ճMYk twX_ ȒH!/!OJjAxdA݂ zVnz.2 tO4"y9:aՕ._֡M /osI DF&4h@u.y[4IrZ%8G+Q}=w!bќpTdH%u΢BQ>cѦDѤTYYexJ͈weIL`?%'+beyI+VA(fK~*UyLW*a*uPPmJ&-a.'IUs!ƨK 4ig\/?b$έN<"g:qn@)]!6xJfBf PRU#ආ 4jdr/d펚!aW۪E>Ln<ΆڎZ})RXE*5n39t;Y+RSWS~uW+]:=ߜߦE:H{MyYg6 BgYZ8cee71edd5e3a13948c455e8d9caca5cd3f83aa444ccf15d3cabf1d8cc27d7af9fe5646307c6887b e18ba4743cb52871247a2781b1eee86c87e47f56 b888ab3bf5df51c78533d3bd2b585cf7f393ba5340cc43e0de2fe1d098884753e9b90721ba388dc3 ' ConcurrentIMP