SQLite format 3@ . BBh77otableisabelle_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 ] |L| ]/ PLM:threads=2elapsed=32.888cpu=53.800gc=1.736factor=1.647zXZִF! (x]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^? G<|S%aK٤x6Q@%C ZKQytaX\ǰRېo/0r!Tɍ1D6 OjVyMj>(;{PvƸUY?.E-BA-.lSfԤ'" 2禆]xrFKNN͵ SR4򢩑B;*[u:+QfmEzЏ}%V` .f\ؐ|J)bh 鸁)YǗ0;}e3Y[©i6J=ݬ  PLMͤҘSҫ2A?]~jH m+}јpK!\’JijP|4]@1gEwc}\J|iΒ נv9 b>BdSe~Cٛ'G]N}JP9P]) d.}WwDF*K3g針("@1mU6#h6K&< [ ޫ1#ܐ%DWy45\ "sMei3> KR˺U[n]w3Ewǻwm38&^&fmz7F!y*ƥs^:Wx?+ԥ/gz w8srt&w_?59WwmYux\G =5 Eaw<>THAJ5œ ߘ~X<"E~EA,Y?  5`gYZ7zXZִF! ֍ ]ŗXi%q.S?zK}58-U82kכP=9h8~c]3מТ ?-N%zL2VW} ,[H]n5kD9KxN5)y+Kqz5-n\'ۚѮ.TS(9KZϝ|7MYsG'7H\to0حg9^^ TD9?=@26 jCڙy/M ccE*;Q&sG.-g jcOvC,aʉ7Cֲ8TRM`ګG"2H%j~" D蚭$D!J%H e{{^d8Y}M ׿{-Z\́AжаLY{?R]tWy̾7/?hKZ-RJP'r&zNX)$)Mj5c9Ű{H_Q~!_HQn$Qk$+bֵ{k{+Mz@LºK菔v[xlwѸMīlΓK/A2`C&院VUɠ<qdž TEg ٌ⃴ bOv$zoU'{INyhgT\XM;zy5uCBɮ0C[MDխYގwOꀟH,'H_<7L\<&gl)2zo-"dڠ-Pnrw}~^Eaysɺg7c7) s |Keh_A$aUpjFwCfXPnƓGҨǏraw\KpfiC5Tרh=lr8MuX|t vbQbTc'wFbHM$?) מ$ڞ`sEȏd;& jO-1^:b?q83rB1 g ;|X'{l*(!K*}W8df_JP_LyLVwr$urB3㫖La0fOSٞ+CK|;QsbW-r9kn1KÀJr<ظˌl@R.%YYdP2Ab>+Rpa戆قpR:Hk$pz19 0,JGXz{n췯u)@ S+=i?GzpgⓂ QJUҴd ^ο]lx jh+Q)/i6(x &M1_^]/="9~_$<mp<,RUc`>Risl*R# _4cV5]8@ء H23V%K#{=OY^-22"b`< h L4/VLe=6 Y$ˠ({-FbYi<-~l0ټIGi-8"f(Oeヌ?8vfg]xhͫsؿJ@"j gYZ10da6f4a86f54d7ef1fb073eb6328ef72ac9f43ad6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e