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  @ @=|, ] Triangle:threads=4elapsed=3.833cpu=6.560gc=0.164factor=1.717zXZִF! Cu]ŗXf[&}y(+O2Z#b1<Qq7㱘V !)Okƾeb|c$naGVn 3~A#-V+oo Nvt9Pr:CұgYZ7zXZִF! O]ŗXiɟlٞYZ?@Lx!ڿ|gW#KY:  m|;uֶ[eFlkgYZ7zXZִF! )r<]ŗXi%Eb⬟/Ú?E8 F[{`1n-?:{jLyF쪄M eqc~Ty>J”Wܓ|їhGȮ$<7$T*gvn6/LlY!< U~*[J e BD\-̀ƈ){jCx|41+?=td}eةN)KvL)[6fs-bP!Iq ރfU;d16L8c~dx3G_rב7MZG09̌5?uxTYW,{A2L<b$ا ۫#?RFB*߶dp0@K/FfixLD<B7(MM-Cj=t{"Wg]A=aF bD|-@`LVr#rQYEd+J(e]|gl*s6:[2l!@#F$4/czJ?JD`XMMQ BřTnZtIWԛ?:c =2<& y[f.\?F(Q?a]/9G-c8LgyUƂ*.{ -㝜bѧ}A$c8RIgYZ405fbe030035f4bd39ec0c24af9c976a36607b3987d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 c50b1f72917060442ae58a0553f886677389027c   Triangle