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 f 4 ]/ Clean:threads=4elapsed=8.011cpu=18.648gc=0.728factor=2.337zXZִF! <]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^\#ݕkЍq^\i .Aij<j/G$qݕj}5.^оC0#=Xt{bCy~6 &2Ho-˶M_q+m}bP7LG) IIxļCbRO\(|,\ q>]3%?-vFUwܹT NfǂH]|q]AJh ٽ ̅jܥv~x1|6e`nR3ԋi,`I_Ȧzmm~4ww|X,Sxv.uwЗ5ߕaKֻY?ooI˫^7p+-/ o`r[ mD B*_,Y]z&i:Ӡl]U\OF[Q΅\bw{lr:ca?[Ĥ÷*ͨE)^Rv! ߾XuoB:$OcljIk PN=izigYZ7zXZִF! P]ŗXiɟ_[ta^q "{tDbx 7Wf6E-- i>gW:L֩h KßKVUf&,к, p\V-pc.w?j1'- WΎ Ӷk7#^M댵x{.6S 潷3jiʏ=S-dq,ix嬼pľߙ9n!x=ȹy}>p) FxgYZ7zXZִF! H|]ŗXi%L 0R E x0%r@}aO{}%Z?Y?:a Ƣ֛~WkvPup6Qk! ddfC{ /M,brF(`ƿaLkS8ppy Wy.uYu%6 \ev˷Vz/t9gQ "<F1CEݱ= }q*lv)1'WWMIk.l;?k8lc $9cJ>Ӆx1@ӭt4L޷3S*"9kFk'DZ U .2\2b߬UhQ}ҟb+=Ȗ sW8АY-Z".qb#vmsڧ_FEPCˉMG?ԿISmw D-bJ+g9E$Ҧ?AAzmsi7- Kh=,%D*4v=񾅍Q>R?^GKY円40gBRyu^ft<r1?ŸM<qKd1ԛ7PlRKIP i1`ز#K1"Zz/4Į'nۍ$9]:ydD Lgsɽ 1ٌܾ<ٝfiSJdz Czr1[BPقY4Gx#yG"#oŠ#>WC?[yy=1kosyVch \?750I$Zr=._U岮R'W5TSq_3CX i; `y]PH1۵w0ݽCBAp*C㟞P2'[ۏb5$3Dկ*,&>醼i} B$To,B&;\z ˜+gYZc2f885ec8e307cd891026d92e1ae8bf4f68ecce3d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3  Clean