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 V' $| ]/ HotelKeyCards:threads=4elapsed=4.080cpu=12.452gc=0.188factor=3.057zXZִF! ]ŗXf[&qAn%?x$]lIu.1uO'x`aW)zus$*;3ى؏װ;Z$鰺ףecTW9&kdwrcBI|Pϻ=W Ћ thC2S/yPưFFIqk&WeNJÞ/X ¨F[`Q>Y)794gYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ AV8܅)׫&0 q)Iz}m׮SȟgV^r(7l Ѹ3&-b~kj6ぉ! }nMMMh:H܏PX7|nbCUl`-Dt́.[slgYZ7zXZִF! ){]ŗXi%Bok eYh,#ƾRe|3m 1UblVpeKY,j`St䈸J:/YF6jSXM$. R7)kh8M V'ыLL]*O㔑d6-4mhEgˠ4RRuN=\! |-KùcMV~$TrW/8\1TE[arm^cs4oLzP12m\ P^MKߋJAv%v39xMAro(  MN;\hL=NoC=)Pq}#{IXR I ȇhBXzHSRad4m:8]tmp:&3.WMP=M-h;Sۄ0T ے?4t(r+:"餺z0]+F>@=|cP[ty՘ |7ęyh7-v1rՃ+̩)_x xm}Y1Dz= NAT$^6/h CBnjO*ɑ fri)%Z^nO՛J!ψP-mDuDW9QdHCƕLb@pfL(Syp7#̶917^ Yz+7nSh4G6OhihqwA3FɨUDEX`-V9Ò\2nGUg Vd